That SCI has the interpolation property

DOI10.1007/BF00403337MaRDI QIDQ800345zbMATH OpenFDO

Authors Grzegorz Malinowski, Marek Michalczyk

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)

Recommendations

• scientific article; zbMATH DE number 4164793
• scientific article; zbMATH DE number 179051
• scientific article; zbMATH DE number 3950491
• R. Suszko's situational semantics
• Sequent calculi for \(\mathsf{SCI}\)

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3715520 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3547256 (Why is no real title available?)
• scientific article; zbMATH DE number 3561288 (Why is no real title available?)
• Some remarks on the consequence operation in sentential logics

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

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