On Interpolation in Existence Logics

DOI10.1007/11591191_48zbMath1143.03325OpenAlexW1516111266MaRDI QIDQ5387875

Rosalie Iemhoff, Matthias Baaz

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_48

zbMATH Keywords

interpolationKripke modelscut-eliminationGentzen calculusBeth definabilityexistence predicateSkolemizationGödel logicsScott logicstruth-value logicsIntuitionistic logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Interpolation in extensions of first-order logic ⋮ Deciding logics of linear Kripke frames with scattered end pieces ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

This page was built for publication: On Interpolation in Existence Logics