Skip header navigation

University of Stirling

×

Article

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

Citation
Milne P (2016) A non-classical refinement of the interpolation property for classical propositional logic. Logique et Analyse, 59 (235), pp. 273-281. http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1856; https://doi.org/10.2143/LEA.235.0.3170109

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.

Keywords
Interpolation theorem for classical propositional logic; Kleene’s strong 3-valued logic; Priest’s Logic of Paradox

Journal
Logique et Analyse: Volume 59, Issue 235

StatusPublished
Author(s)Milne, Peter
Publication date30/09/2016
Date accepted by journal05/12/2014
URLhttp://hdl.handle.net/1893/23248
PublisherPeeters-Leuven
Publisher URLhttp://virthost.vub.ac.be/…rticle/view/1856
ISSN0024-5836
Scroll back to the top