Journal of Symbolic Logic 51 (1):152-165 (1986)

The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273952
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,823
Through your library

References found in this work BETA

Atoms in Modal Algebras.Fabio Bellissima - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (19-24):303-312.
Atoms in Modal Algebras.Fabio Bellissima - 1984 - Mathematical Logic Quarterly 30 (19‐24):303-312.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

Add more references

Citations of this work BETA

Free Equivalential Algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.

View all 11 citations / Add more citations

Similar books and articles


Added to PP index

Total views
55 ( #171,539 of 2,342,536 )

Recent downloads (6 months)
3 ( #240,079 of 2,342,536 )

How can I increase my downloads?


My notes