ProV Logo
0

A general view of the algebraic semantic...
Lapenta, Serafina...
A general view of the algebraic semantics of \L ukasiewicz logic with product by Lapenta, Serafina ( Author )
Australian National University
06-09-2023
This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras by adjunctions, using the tensor product of MV-algebras and defining the tensor PMV-algebra of a semisimple MV-algebra, inspired by the construction of the tensor algebra of a vector space. We further apply the main results to prove amalgamation properties and, via categorical equivalence, we transfer all results to the framework of lattice- ordered groups.
-
Article
pdf
29.34 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1411.4987
Share this eBook