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.
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Settore MAT/02 - Algebra
2019
Book Part (author)
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/653529
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact