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

DOI10.1007/BF01054715zbMATH Open0797.03031OpenAlexW2000841999MaRDI QIDQ1327488FDOQ1327488

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

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

zbMATH Keywords

interpolationcompactness

Mathematics Subject Classification ID

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

Cites Work

• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• Compactness theorems for finitely-many-valued sentential logics
• Title not available (Why is that?)
• A Note on the Interpolation Theorem in First Order Logic
• A Note on the Compactness Theorem in First Order Logic

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)