Paraconsistent logic from a modal viewpoint |
| |
| Authors: | Jean-Yves B ziau |
| |
| Affiliation: | aInstitute of Logic, University of Neuchâtel, Neuchâtel, Switzerland |
| |
| Abstract: | 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 |
| 本文献已被 ScienceDirect 等数据库收录！ |
