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.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.