Finitely Generated Free Heyting Algebras
Bellissima, Fabio
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 152-165 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1986-03-14
Classification:  
@article{1183742036,
     author = {Bellissima, Fabio},
     title = {Finitely Generated Free Heyting Algebras},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 152-165},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742036}
}

Bellissima, Fabio. Finitely Generated Free Heyting Algebras. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  152-165. http://gdmltest.u-ga.fr/item/1183742036/