S5 is a paraconsistent logic and so is first-order classical logic.
Main Article Content
Abstract
We present and discuss the fa ct that the well-known m odal logic S5 and classical first-order logic are paraconsistent logics.
Downloads
Download data is not yet available.
Article Details
How to Cite
Beziau J.-Y. S5 is a paraconsistent logic and so is first-order classical logic. // Logicheskie Issledovaniya / Logical Investigations. 2002. VOL. 9. C. 301-309.
Issue
Section
Papers