Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/23248
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 (Forthcoming/Available Online)
Authors: Milne, Peter
Contact Email: peter.milne@stir.ac.uk
Keywords: Interpolation theorem for classical propositional logic
Kleene’s strong 3-valued logic
Priest’s Logic of Paradox
Issue Date: Sep-2016
Publisher: Peeters-Leuven
Citation: Milne P (2016) A non-classical refinement of the interpolation property for classical propositional logic (Forthcoming/Available Online), Logique et Analyse, 59 (235).
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.
Type: Journal Article
URI: http://hdl.handle.net/1893/23248
URL: http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1856
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: http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1856
Affiliation: Philosophy



This item is protected by original copyright



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

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