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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Propositional Calculus for Inconsistent Deductive Systems.Stanisław Jaśkowski - 1999 - Logic and Logical Philosophy 7:35.
The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
Citations of this work BETA
Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.
Similar books and articles
Paranormal Modal Logic – Part II: K?, K and Classical Logic and Other Paranormal Modal Systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Paranormal Modal Logic–Part I: The System K? And the Foundations of the Logic of Skeptical and Credulous Plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Modal Extensions of Sub-Classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
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.
Remarks on the Applications of Paraconsistent Logic to Physics.Newton C. A. da Costa & Décio Krause - unknown
Translation Paradox and Logical Translation: A Study in Universal Logic.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.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Analytics
Added to PP index
2013-11-24
Total views
94 ( #124,064 of 2,504,603 )
Recent downloads (6 months)
2 ( #277,254 of 2,504,603 )
2013-11-24
Total views
94 ( #124,064 of 2,504,603 )
Recent downloads (6 months)
2 ( #277,254 of 2,504,603 )
How can I increase my downloads?
Downloads