AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information
Ofer Arieli

Last modified: 2010-04-27


We identify three classes of four-state paraconsistent logics according to their different approaches towards the disjunctive syllogism, and investigate three representatives of these approaches: Quasi-classical logic, which always accepts this principle, Belnap's logic, that rejects the disjunctive syllogism altogether, and a logic of inconsistency minimization that restricts its application to consistent fragments only. These logics are defined in a syntactic and a semantic style, which are linked by a simple transformation. It is shown that the three formalisms accommodate knowledge minimization, and that the most liberal formalism towards the disjunctive syllogism is also the strongest among the three, while the most cautious logic is the weakest one.


Paraconsistent reasoning; Four-valued logics

Full Text: PDF