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

DOI10.1007/BF01054715zbMATH Open0797.03031OpenAlexW2000841999MaRDI QIDQ1327488FDOQ1327488

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)

Cites Work

• Title not available (Why is that?)
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• Compactness theorems for finitely-many-valued sentential logics
• 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)