On Béziau’s logic Z

Logic and Logical Philosophy 17 (4):305-320 (2008)
  Copy   BIBTEX


In [1] Béziau developed the paraconsistent logic Z, which is definitionally equivalent to the modal logic S5, and gave an axiomatization of the logic Z: the system HZ. In the present paper, we prove that some axioms of HZ are not independent and then propose another axiomatization of Z. We also discuss a new perspective on the relation between S5 and classical propositional logic with the help of the new axiomatization of Z. Then we conclude the paper by making a remark on the paraconsistency of HZ



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Translation Paradox and Logical Translation.Tzu-Keng Fu - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:39-45.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.


Added to PP

100 (#168,475)

6 months
7 (#364,455)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.

Add more citations

References found in this work

Add more references