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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 54,466
External links
- From the Publisher via CrossRef (no proxy)
- apcz.umk.pl
(no proxy) - dx.doi.org (no proxy)
- wydawnictwoumk.pl (no proxy)
- wydawnictwoumk.pl [2] (no proxy)
- wydawnictwoumk.pl [3] (no proxy)
- wydawnictwoumk.pl [4] (no proxy)
- wydawnictwoumk.pl [5] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
No citations found.
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.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
90 ( #107,288 of 2,374,858 )
Recent downloads (6 months)
7 ( #106,578 of 2,374,858 )
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
