Equivalence among \(RC\)-type paraconsistent logics
Published in Logic Journal of IGPL, 2017
In this article we review several paraconsistent logics from different authors to ‘close the gaps’ between them. Since paraconsistent logics is a broad area of research, it is possible that equivalent paraconsistent logics have different names. What we meant is that we provide connections between the logics studied comparing their different semantical approaches for a near future be able to obtain missing semantical characterization of different logics. We are introducing the term \(RC\)-type logics to denote a class of logics that extends \(C_\omega\) and satisfies the RC rule.
Recommended citation: M. Osorio and J. Castellanos Joo, “Equivalence among RC-type paraconsistent logics”, Logic Journal of IGPL, jzw065, Jan. 2017, ISSN: 1368-9894. DOI: 10.1093/jigpal/jzw065
Download Paper | Download Bibtex