Weakening and Extending \(\mathbb{Z}\)
Published in Logica Universalis, 2015
By weakening an inference rule satisfied by logic \(daC\), we define a new paraconsistent logic \(daC^{'}\), which is weaker than logic \(\mathbb{Z}\) and \(G^{'}3\), enjoys properties presented in \(daC\) like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, \(daC^{'}\) helps to understand the relationships among other logics, in particular \(daC\), and \(PH1\).
Recommended citation: M. Osorio and J. Castellanos Joo. "Weakening and extending \mathbb{Z}" Logica Universalis, vol. 9, no 3, pp. 383-409, Aug. 2015, ISSN: 1661-8300. DOI: 10.1007/s11787-015-0128-6
Download Paper | Download Bibtex