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

DOI10.2143/LEA.235.0.3170109MaRDI QIDQ5283779zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

• scientific article; zbMATH DE number 1463147 (Why is no real title available?)
• Craig interpolation theorem for classical propositional logic with some probability operators
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• scientific article; zbMATH DE number 5722454 (Why is no real title available?)
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Interpolation methods for Dunn logics and their extensions
• Interpolation in non-classical logics
• A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity
• Interpolation and three-valued logics

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)