A constructive proof of Craig's interpolation lemma for m-valued logic

DOI10.1007/BF00405385zbMath0442.03023WikidataQ124839068 ScholiaQ124839068MaRDI QIDQ1143390

Anita Wasilewska

Publication date: 1979

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

zbMATH Keywords

Craig's interpolation theoremGentzen type formalizationm-valued predicate calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Other constructive mathematics (03F65)

Related Items (1)

Interpolation theorem in many-valued logics with designated values

Cites Work

• Unnamed Item
• Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them

This page was built for publication: A constructive proof of Craig's interpolation lemma for m-valued logic