A Paraconsistent Proof Procedure Based on Classical Logic
Title | A Paraconsistent Proof Procedure Based on Classical Logic |
Publication Type | Technical Report |
Authors | Batens, D |
PDF author (public):
Title | A Paraconsistent Proof Procedure Based on Classical Logic |
Publication Type | Technical Report |
Authors | Batens, D |