Logic and Logical Philosophy 19 (1-2):7-30 (2010)

Heinrich Wansing
Ruhr-Universität Bochum
Two new first-order paraconsistent logics with De Morgan-type negations and co-implication, called symmetric paraconsistent logic (SPL) and dual paraconsistent logic (DPL), are introduced as Gentzen-type sequent calculi. The logic SPL is symmetric in the sense that the rule of contraposition is admissible in cut-free SPL. By using this symmetry property, a simpler cut-free sequent calculus for SPL is obtained. The logic DPL is not symmetric, but it has the duality principle. Simple semantics for SPL and DPL are introduced, and the completeness theorems with respect to these semantics are proved. The cut-elimination theorems for SPL and DPL are proved in two ways: One is a syntactical way which is based on the embedding theorems of SPL and DPL into Gentzen’s LK, and the other is a semantical way which is based on the completeness theorems.
Keywords symmetric paraconsistent logic  cut-elimination  sequent calculus  dual paraconsistent logic  completeness
Categories (categorize this paper)
DOI 10.12775/LLP.2010.002
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: 71,379
Through your library

References found in this work BETA

A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Semantics for Dual and Symmetric Combinatory Calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.


Added to PP index

Total views
27 ( #425,636 of 2,519,663 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,663 )

How can I increase my downloads?


My notes