Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

Bulletin of the Section of Logic 48 (2):137-158 (2019)
  Copy   BIBTEX

Abstract

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and overcome the failure of interpolation for the implication-free fragment.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,061

External links

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

Through your library

Similar books and articles

SCI–Sequent Calculi, Cut Elimination and Interpolation Property.Andrzej Indrzejczak - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 323-343.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.

Analytics

Added to PP
2019-09-21

Downloads
37 (#573,710)

6 months
4 (#1,209,293)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
Neutral Free Logic: Motivation, Proof Theory and Models.Edi Pavlović & Norbert Gratzl - 2023 - Journal of Philosophical Logic 52 (2):519-554.

Add more citations

References found in this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.

Add more references