Data di Pubblicazione:
2008
Citazione:
Gödel Algebras Free over Finite Distributive Lattices / S. Aguzzoli, B. Gerla, V. Marra. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 155:3(2008 Oct), pp. 183-193. [10.1016/j.apal.2008.04.003]
Abstract:
Gödel algebras form the locally finite variety of Heyting algebras satisfying the prelinearity axiom Formula Not Shown . In 1969, Horn proved that a Heyting algebra is a Gödel algebra if and only if its set of prime filters partially ordered by reverse inclusion–i.e. its prime spectrum–is a forest. Our main result characterizes Gödel algebras that are free over some finite distributive lattice by an intrisic property of their spectral forest.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
06D20; 06D50; Distributive lattices; Duality for finitely presented objects; Free objects; Gödel algebras; Heyting algebras; Partially ordered sets
Elenco autori:
S. Aguzzoli, B. Gerla, V. Marra
Link alla scheda completa: