That SCI has the interpolation property

DOI10.1007/BF00403337zbMATH Open0549.03008MaRDI QIDQ800345FDOQ800345

Authors: Grzegorz Malinowski, Marek Michalczyk 

Publication date: 1982

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

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}\)

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Some remarks on the consequence operation in sentential logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)