In this note we show how the MV-algebraic tensor product can be used to define natural adjunctions between the algebraic structures of Łukasiewicz logic with product. In order to do this, we define the semisimple tensor PMV-algebra of a semisimple MV-algebra.
On the semisimple tensor product of MV-algebras
Lapenta S.
;Leustean I.
2020-01-01
Abstract
In this note we show how the MV-algebraic tensor product can be used to define natural adjunctions between the algebraic structures of Łukasiewicz logic with product. In order to do this, we define the semisimple tensor PMV-algebra of a semisimple MV-algebra.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.
