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]

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

Download (46kB)
[img] 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