Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics

, &
Logic Journal of the IGPL 7 (4):447-480 (1999)
  Copy   BIBTEX

Abstract

We get cut-free sequent calculi for the interpolable propositional intermediate logics by translating suitable duplication-free tableau calculi developed within a semantical framework. From this point of view, the paper also provides semantical proofs of the admissibility of the cut-rule for appropriate cut-free sequent calculi

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/7.4.447

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Tautology Elimination, Cut Elimination, and S5.Andrzej Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma & Fei Liang - 2018 - Studia Logica 106 (3):565-593.
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna, Logics in Artificial Intelligence. Springer. pp. 803 - 819.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Cut-free sequent calculi for logics characterized by finite linear Kripke frames.Naosuke Matsuda - 2017 - Logic Journal of the IGPL 25 (5):686-696.
Sequent Calculi for SCI.Szymon Chlebowski - 2018 - Studia Logica 106 (3):541-563.
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.

Analytics

Added to PP
2015-02-04

Downloads
21 (#1,105,144)

6 months
1 (#1,597,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references