Interpolation and amalgamation properties in varieties of equivalential algebras

Studia Logica 45 (1):35 - 38 (1986)
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01881547
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,248
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
6 ( #569,965 of 2,193,089 )

Recent downloads (6 months)
1 ( #290,279 of 2,193,089 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature