Abstract: 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.
Publication Year: 1986
Publication Date: 1986-03-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 47
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot