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.

Bellissima, F. (1986). Finitely generated free Heyting algebras. THE JOURNAL OF SYMBOLIC LOGIC, 51(1), 152-165 [10.2307/2273952].

Finitely generated free Heyting algebras

Bellissima F.
1986-01-01

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.
1986
Bellissima, F. (1986). Finitely generated free Heyting algebras. THE JOURNAL OF SYMBOLIC LOGIC, 51(1), 152-165 [10.2307/2273952].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/25076
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo