Uniform interpolation and the existence of sequent calculi

DOI10.1016/j.apal.2019.05.008zbMath1475.03078OpenAlexW2709540868WikidataQ127791455 ScholiaQ127791455MaRDI QIDQ2326416

Rosalie Iemhoff

Publication date: 7 October 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/394381

zbMATH Keywords

sequent calculuspropositional quantifiersintermediate logicintuitionistic modal logicuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (7)

Intuitionistic non-normal modal logics: a general framework ⋮ Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Uniform interpolation via nested sequents ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ The G4i analogue of a G3i sequent calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Uniform interpolation and propositional quantifiers in modal logics
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Bounds for cut elimination in intuitionistic propositional logic
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• On an intuitionistic modal logic
• Uniform interpolation and sequent calculi in modal logic
• Undefinability of propositional quantifiers in the modal system S4
• Uniform interpolation and compact congruences
• UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
• Proving termination with multiset orderings
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Contraction-free sequent calculi for intuitionistic logic
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• On the complexity of propositional quantification in intuitionistic logic
• Terminating sequent calculi for two intuitionistic modal logics
• Constructive Modalities with Provability Smack
• A new algorithm for derivability in the constructive propositional calculus
• Pitts' quantifiers are not topological quantification

This page was built for publication: Uniform interpolation and the existence of sequent calculi