A Note on the Interpolation Theorem in First Order Logic

DOI10.1002/malq.19820281405zbMath0526.03002OpenAlexW2159768639MaRDI QIDQ3041155

George E. Weaver

Publication date: 1982

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820281405

zbMATH Keywords

interpolation theoremfirst order logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics

This page was built for publication: A Note on the Interpolation Theorem in First Order Logic