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

DOI10.2143/LEA.240.0.3254088zbMATH Open1417.03180MaRDI QIDQ4608317FDOQ4608317

Authors: Peter Milne 

Publication date: 16 March 2018

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

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)

Cited In (3)

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

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)