Interpolation in extensions of first-order logic

DOI10.1007/s11225-019-09867-0zbMath1452.03128arXiv1807.11848OpenAlexW2955326061WikidataQ127536974 ScholiaQ127536974MaRDI QIDQ2186699

Paolo Maffezioli, Eugenio Orlandelli, Guido Gherardi

Publication date: 9 June 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.11848

zbMATH Keywords

first-order theoriessequent calculiCraig's interpolation theoremMaehara's lemmasingular geometric rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Interpolation, preservation, definability (03C40)

Related Items

A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpolation systems for ground proofs in automated deduction: a survey
• Modal interpolation via nested sequents
• Intuitionism. An introduction
• Proof theory. 2nd ed
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Multicomponent proof-theoretic method for proving interpolation properties
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Proof Analysis
• Interpolation via translations
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Cut Elimination in the Presence of Axioms
• On Interpolation in Existence Logics