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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
