scientific article; zbMATH DE number 3547256

zbMATH Open0352.02013MaRDI QIDQ4121875FDOQ4121875

Authors: George E. Weaver 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99)

Cited In (3)

• Compactness theorems for finitely-many-valued sentential logics
• Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
• That SCI has the interpolation property

This page was built for publication:

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