The Chang-Mundici equivalence between the category of MV-algebras and the category of lattice-ordered abelian groups with strong unit allows us to translate facts/problems about Lukasiewicz many valued logics into facts/problems about partially ordered abelian groups, and conversely. After giving a brief survey of the theory, we study the automorphism groups of the free MV-algebras, i.e., the Lindenbaum algebras of Lukasiewicz logics.
The logic of partially ordered abelian groups with strong unit
PANTI, Giovanni
1992-01-01
Abstract
The Chang-Mundici equivalence between the category of MV-algebras and the category of lattice-ordered abelian groups with strong unit allows us to translate facts/problems about Lukasiewicz many valued logics into facts/problems about partially ordered abelian groups, and conversely. After giving a brief survey of the theory, we study the automorphism groups of the free MV-algebras, i.e., the Lindenbaum algebras of Lukasiewicz logics.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
The_logic.pdf
non disponibili
Tipologia:
Altro materiale allegato
Licenza:
Non pubblico
Dimensione
185.01 kB
Formato
Adobe PDF
|
185.01 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
