ML-1996-13: Intuitionistic Propositional Logic with only Equivalence has no Interpolation

ML-1996-13: Hendriks, Lex (1996) Intuitionistic Propositional Logic with only Equivalence has no Interpolation. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1996-13.text.ps.gz

Download (46kB)
[thumbnail of Abstract] Text (Abstract)
ML-1996-13.abstract.txt

Download (363B)

Abstract

We will show in this paper that there is no interpolation theorem for
the fragment of pure equivalence in intuitionistic propositional logic.
The computer program that was used to calculate the counterexample
by computations on a finite Kripke model is briefly sketched.

Item Type: Report
Report Nr: ML-1996-13
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1381

Actions (login required)

View Item View Item