We exploit the duality between finite Gödel algebras and their homomorphisms, and the category of finite forests and open maps, to compute the duals of non-isomorphic k-element Gödel algebras, for k≥1k≥1. From this construction we obtain a recurrence formula to compute the fine spectrum of the variety of Gödel algebras GG. Using such a formula we easily compute the set of cardinalities of finite Gödel algebras (the spectrum of GG), that is equal to the set of positive integers N+N+. To complete the picture on spectra of Gödel algebras, we recall the well-known recurrence formula to compute the cardinality of every free k-generated Gödel algebra, that is the free spectrum of GG.
Spectra of Gödel Algebras / D. Valota (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Language, Logic, and Computation / [a cura di] A. Silva, S. Staton, P. Sutton, C. Umbach. - [s.l] : Springer, 2019. - ISBN 9783662595640. - pp. 297-311 (( Intervento presentato al 12. convegno TbiLLC tenutosi a Lagodekhi nel 2017 [10.1007/978-3-662-59565-7_15].
Spectra of Gödel Algebras
D. Valota
2019
Abstract
We exploit the duality between finite Gödel algebras and their homomorphisms, and the category of finite forests and open maps, to compute the duals of non-isomorphic k-element Gödel algebras, for k≥1k≥1. From this construction we obtain a recurrence formula to compute the fine spectrum of the variety of Gödel algebras GG. Using such a formula we easily compute the set of cardinalities of finite Gödel algebras (the spectrum of GG), that is equal to the set of positive integers N+N+. To complete the picture on spectra of Gödel algebras, we recall the well-known recurrence formula to compute the cardinality of every free k-generated Gödel algebra, that is the free spectrum of GG.File | Dimensione | Formato | |
---|---|---|---|
finspecG.pdf
accesso riservato
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
343.69 kB
Formato
Adobe PDF
|
343.69 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Valota2019_Chapter_SpectraOfGödelAlgebras.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
406.97 kB
Formato
Adobe PDF
|
406.97 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.