In this paper we first provide a new axiomatization of algebraically closed MV-algebrasbased on McNaughton’s Theorem. Then we turn to sheaves, and we represent algebraically closed MV-algebras as algebras of global sections of sheaves,where the stalks are divisible MV-chains and the base space is Stonean
Algebraically closed MV-algebras and their sheaf representation
DI NOLA, Antonio;FERRAIOLI, ANNA RITA;LENZI, Giacomo
2013-01-01
Abstract
In this paper we first provide a new axiomatization of algebraically closed MV-algebrasbased on McNaughton’s Theorem. Then we turn to sheaves, and we represent algebraically closed MV-algebras as algebras of global sections of sheaves,where the stalks are divisible MV-chains and the base space is StoneanFile 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.
