A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity

DOI10.2143/LEA.240.0.3254088MaRDI QIDQ4608317zbMATH OpenFDO

Authors Peter Milne

Publication date 16 March 2018

zbMATH Keywords

Belnap's four-valued logicPriest's logic of paradoxKleene's strong 3-valued logicblock tableauxCraig-Lyndon interpolation theorem (for classical first-order logic)

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Recommendations

• A non-classical refinement of the interpolation property for classical propositional logic
• Interpolation in extensions of first-order logic
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation theorems for intuitionistic predicate logic
• Equality and lyndon's interpolation theorem

Cited in

(3)

• Equality and lyndon's interpolation theorem
• First-order interpolation of non-classical logics derived from propositional interpolation
• A non-classical refinement of the interpolation property for classical propositional logic

This page was built for publication: A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity

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