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. © 2001 Elsevier Science B.V.
Montagna, F., Panti, G. (2002). Adding structure to MV algebras. JOURNAL OF PURE AND APPLIED ALGEBRA, 164(3), 365-387 [10.1016/S0022-4049(00)00169-9].
Adding structure to MV algebras
MONTAGNA F.;
2002-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. © 2001 Elsevier Science B.V.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/7157
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo