That SCI has the interpolation property

DOI10.1007/BF00403337zbMath0549.03008MaRDI QIDQ800345

Marek Michalczyk, Grzegorz Malinowski

Publication date: 1982

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

zbMATH Keywords

sentential calculus with identitysentential interpolationtruth valuation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical propositional logic (03B05) Interpolation, preservation, definability (03C40)

Cites Work

• Some remarks on the consequence operation in sentential logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: That SCI has the interpolation property