Topic: PARACONSISTENCY
Paraconsistent logic from a modal viewpoint
By Jean-Yves Beziau
In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior. We examine this operator on the one hand in the modal logic S5 and on the other hand in some new four-valued modal logics.
Keywords: Modal logic; Paraconsistent logic; Negation; Square of opposition
Appeared at the Journal of Applied Logic.
Posted by Tony Marmo
at 00:01 GMT
Updated: Sunday, 13 March 2005 01:05 GMT