Interpolation and three-valued logics

zbMATH Open1107.03022MaRDI QIDQ5488263FDOQ5488263

Authors: Kamila Bendová 

Publication date: 14 September 2006

Recommendations

• A non-classical refinement of the interpolation property for classical propositional logic
• Interpolation in non-classical logics
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation in fuzzy logic
• Interpolation theorem in many-valued logics with designated values

zbMATH Keywords

three-valued logicKleene logicGödel logicŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (4)

• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Title not available (Why is that?)
• Interpolation theorem in many-valued logics with designated values
• Interpolation methods for Dunn logics and their extensions

This page was built for publication: Interpolation and three-valued logics

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