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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/674594
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 33
  • ???jsp.display-item.citation.isi??? 30
social impact