Studia Logica 106 (3):565-593 (2018)
| Abstract |
A contraction-free and cut-free sequent calculus \ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \ for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \ is embedded into \ via Gödel–Gentzen translation. \ is embedded into a sequent calculus for classical propositional logic. \ is embedded into the sequent calculus \ for intuitionistic propositional logic.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-017-9755-7 |
| 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: 70,337
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- link.springer.com (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
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
The Logic of Distributive Bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
View all 11 references / Add more references
Citations of this work BETA
Semi De Morgan Logic Properly Displayed.Giuseppe Greco, Fei Liang, M. Andrew Moshier & Alessandra Palmigiano - 2021 - Studia Logica 109 (1):1-45.
Similar books and articles
Sequent Calculi And Quasivarieties.Katarzyna Palasinska - 2000 - Reports on Mathematical Logic:107-131.
Gentzen-Style Sequent Calculus for Semi-Intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
New Sequent Calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Sufficient Conditions for Cut Elimination with Complexity Analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
Intuitionistic Sequent Calculi for Finitely Many-Valued Logics.E. Reznik & P. Curmin - 2001 - Logic Journal of the IGPL 9 (6):793-812.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 43-66.
Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi.R. Dyckhoff & S. Negri - 2001 - Logic Journal of the IGPL 9 (4):541-548.
Analytics
Added to PP index
2017-09-08
Total views
30 ( #381,417 of 2,507,888 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,888 )
2017-09-08
Total views
30 ( #381,417 of 2,507,888 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,888 )
How can I increase my downloads?
Downloads
