In this paper we study the tensor product for MV-algebras, the algebraic structures of Łukasiewicz ∞-valued logic. Our main results are: the proof that the tensor product is preserved by the categorical equivalence between the MV-algebras and abelian lattice-order groups with strong unit and the proof of the scalar extension property for semisimple MV-algebras. We explore consequences of these results for various classes of MV-algebras and lattice-ordered groups enriched with a product operation.

Scalar extensions for algebraic structures of Lukasiewicz logic

Lapenta, S.
;
Leuştean, I.
2016-01-01

Abstract

In this paper we study the tensor product for MV-algebras, the algebraic structures of Łukasiewicz ∞-valued logic. Our main results are: the proof that the tensor product is preserved by the categorical equivalence between the MV-algebras and abelian lattice-order groups with strong unit and the proof of the scalar extension property for semisimple MV-algebras. We explore consequences of these results for various classes of MV-algebras and lattice-ordered groups enriched with a product operation.
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/11386/4708755
 Attenzione

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

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