Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems

DOI10.1007/BF01054715MaRDI QIDQ1327488zbMATH OpenOpenAlexFDO

Authors George E. Weaver

Publication date 17 October 1994

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

interpolationcompactness

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) General logic (03B99)

Recommendations

• Uniqueness, definability and interpolation
• A syntactic approach to unification in transitive reflexive modal logics
• scientific article; zbMATH DE number 1302498
• Compactness=JEP in any logic
• A unified approach to relative interpolation

Cites work

• scientific article; zbMATH DE number 3547256 (Why is no real title available?)
• A Note on the Compactness Theorem in First Order Logic
• A Note on the Interpolation Theorem in First Order Logic
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• Compactness theorems for finitely-many-valued sentential logics

This page was built for publication: Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1327488)