Finitely generated free Heyting algebras
- 12 March 1986
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 51 (1) , 152-165
- https://doi.org/10.2307/2273952
Abstract
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
This publication has 4 references indexed in Scilit:
- ATOMS IN MODAL ALGEBRASMathematical Logic Quarterly, 1984
- A Course in Universal AlgebraPublished by Springer Nature ,1981
- Free Heyting algebrasAlgebra universalis, 1973
- On Closed Elements in Closure AlgebrasAnnals of Mathematics, 1946