Please use this identifier to cite or link to this item:
Appears in Collections:Law and Philosophy Journal Articles
Peer Review Status: Refereed
Title: A non-classical refinement of the interpolation property for classical propositional logic
Author(s): Milne, Peter
Contact Email:
Keywords: Interpolation theorem for classical propositional logic
Kleene’s strong 3-valued logic
Priest’s Logic of Paradox
Issue Date: Sep-2016
Date Deposited: 30-May-2016
Citation: Milne P (2016) A non-classical refinement of the interpolation property for classical propositional logic. Logique et Analyse, 59 (235), pp. 273-281.;
Abstract: We refine the interpolation property of the {^, v, ¬}-fragment of classical propositional logic, showing that if /|= ¬Φ, and /|= Ψ then there is an interpolant Χ constructed using at most atomic formulas occurring in both Φ and Ψ and negation, conjunction and disjunction, such that (i) Φ   entails Χ in Kleene’s strong three-valued logic and (ii) Χ entails Ψ  in Priest’s Logic of Paradox.
DOI Link: 10.2143/LEA.235.0.3170109
Rights: Publisher policy allows this work to be made available in this repository. Published in Logique et Analyse by Peeters Publishing. with the following policy: Authors retain copyright and grant the journal right of first publication (paper and online on the publisher's and journal's website). Authors are permitted to post the published version of the work in an institutional repository and on a personal website, with an acknowledgement of its initial publication in this journal. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work. The original publication is available at:

Files in This Item:
File Description SizeFormat 
MILNE A non-classical refinement of the interpolation property for classical propositional logic.pdfFulltext - Accepted Version274.18 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.