Research output

Article in Journal ()

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.

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

StatusPublished
AuthorsMilne Peter
Publication date09/2016
Date accepted by journal05/12/2014
URLhttp://virthost.vub.ac.be/…rticle/view/1856
PublisherPeeters-Leuven
ISSN 0024-5836
LanguageEnglish

Journal
Logique et Analyse: Volume 59, Issue 235

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal