A non-classical refinement of the interpolation property for classical propositional logic

DOI10.2143/LEA.235.0.3170109zbMATH Open1396.03047OpenAlexW2064737574MaRDI QIDQ5283779FDOQ5283779

Authors: Peter Milne 

Publication date: 25 July 2017

Full work available at URL: http://philsci-archive.pitt.edu/10582/1/Paper_%2D_contradiction_in_qm.pdf

Recommendations

• A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity
• scientific article; zbMATH DE number 4061207
• Interpolation in non-classical logics
• Interpolation and three-valued logics
• Interpolation in fragments of intuitionistic propositional logic

zbMATH Keywords

Priest's logic of paradoxKleene's strong 3-valued logicinterpolation theorem for classical propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Paraconsistent logics (03B53) Interpolation, preservation, definability (03C40)

Cited In (8)

• Interpolation in non-classical logics
• Title not available (Why is that?)
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Craig interpolation theorem for classical propositional logic with some probability operators
• Title not available (Why is that?)
• Interpolation methods for Dunn logics and their extensions
• Interpolation and three-valued logics
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum

This page was built for publication: A non-classical refinement of the interpolation property for classical propositional logic

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