We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In particular, we study the structures resulting from adding the characteristic function for truth, adding an arithmetical product, and the corresponding residuation operator. We characterize the free algebras in the relative equational classes, and we discuss their spectral spaces.
Adding structure to MV-algebras
PANTI, Giovanni;
2001-01-01
Abstract
We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In particular, we study the structures resulting from adding the characteristic function for truth, adding an arithmetical product, and the corresponding residuation operator. We characterize the free algebras in the relative equational classes, and we discuss their spectral spaces.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.
