S5 is a paraconsistent logic and so is first-order classical logic.

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published: 03.10.2002
DOI: https://doi.org/10.21146/2074-1472-2002-9-0-301-309

##plugins.themes.bootstrap3.article.main##

J.-Y. Beziau

Abstract

We present and discuss the fa ct that the well-known m odal logic S5 and classical first-order logic are paraconsistent logics.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.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
Vol 9 (2002)
Section
Papers