Interpolation and amalgamation properties in varieties of equivalential algebras

Studia Logica 45 (1):35 - 38 (1986)
  Copy   BIBTEX

Abstract

Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (), well known connectives: implication () and conjunction (), and by a ternary connective defined as follows: (p, q, r)= df (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,330

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
16 (#763,687)

6 months
2 (#637,499)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references