We characterize the structure of the automorphism groups of finitely generated free algebras in locally finite varieties constituting the algebraic semantics of well-known many-valued propositional logics, such as Gödel logic and the logic of Gödel hoops, Nilpotent Minimum logic, n-valued Łukasiewicz logic, Drastic product logic. We introduce the subalgebras of automorphism invariant elements of the free algebras, and study their structure in the case of Gödel algebras.

Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics / S. Aguzzoli (IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS). - In: 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)[s.l] : IEEE, 2020. - ISBN 9781728169323. - pp. 1-8 (( convegno IEEE International Conference on Fuzzy Systems tenutosi a Glasgow nel 2020.

Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics

S. Aguzzoli
2020

Abstract

We characterize the structure of the automorphism groups of finitely generated free algebras in locally finite varieties constituting the algebraic semantics of well-known many-valued propositional logics, such as Gödel logic and the logic of Gödel hoops, Nilpotent Minimum logic, n-valued Łukasiewicz logic, Drastic product logic. We introduce the subalgebras of automorphism invariant elements of the free algebras, and study their structure in the case of Gödel algebras.
automorphism group; Lindenbaum algebra; free algebra; algebraic semantics of many-valued logics
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
2020
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
09177714.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 875.72 kB
Formato Adobe PDF
875.72 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/764846
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact