Sequent calculus for 3-valued paraconsistent logic QMPT0

Logic Journal of the IGPL 27 (4):507-521 (2019)

Abstract
We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzz016
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,182
External links

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

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Partial and Paraconsistent Three-Valued Logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study.Jayanta Sen & M. K. Chakraborty - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):313-329.
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
N-Valued Maximal Paraconsistent Matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.

Analytics

Added to PP index
2019-05-29

Total views
11 ( #738,039 of 2,289,505 )

Recent downloads (6 months)
7 ( #148,085 of 2,289,505 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature