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

Authors
Abstract
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
Keywords classical propositional logic  modal logic S5  paraconsistent logic Z
Categories (categorize this paper)
Reprint years 2009
DOI 10.12775/LLP.2008.017
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,466
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.

Analytics

Added to PP index
2013-11-24

Total views
90 ( #107,288 of 2,374,858 )

Recent downloads (6 months)
7 ( #106,578 of 2,374,858 )

How can I increase my downloads?

Downloads

My notes