The Craig-Lyndon interpolation theorem in 3-valued logic

DOI10.2307/2270514zbMath0212.31503OpenAlexW2033556980MaRDI QIDQ5613914

R. R. Rockingham Gill

Publication date: 1970

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270514

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

Related Items (2)

Some investigations on many valued logics ⋮ Interpolation theorem in many-valued logics with designated values

Cites Work

• An interpolation theorem in the predicate calculus
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem

This page was built for publication: The Craig-Lyndon interpolation theorem in 3-valued logic