Scalar extensions for algebraic structures of Łukasiewicz logic.

DOI10.1016/J.JPAA.2015.09.017MaRDI QIDQ898191zbMATHOpenAlexFDO

Authors S. Lapenta, Ioana Leuştean

Publication date 8 December 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.8298

zbMATH Keywords

tensor productsMV-algebras\(\Gamma\)-functorsscalar extension propertyunital \(l\)-groups

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other algebras related to logic (03G25) MV-algebras (06D35)

Abstract: In this paper we study the tensor product for MV-algebras, the algebraic structures of L ukasiewicz $infty$-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 this results for various classes of MV-algebras and lattice-ordered groups enriched with a product operation.

Recommendations

• scientific article; zbMATH DE number 764334
• Some invariant skeletons for \(\ell\)-u groups and MV-algebras
• scientific article; zbMATH DE number 1775509
• Categories and varieties of MV-algebras
• Varieties generated by unital abelian \(\ell\)-groups
• Some notes on elemination properties for the theory of Riesz MV-chains
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Regularity of generalized MV-algebras
• scientific article; zbMATH DE number 2168736

Cites work

• scientific article; zbMATH DE number 3117624 (Why is no real title available?)
• scientific article; zbMATH DE number 3822417 (Why is no real title available?)
• scientific article; zbMATH DE number 1775509 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• An algebraic approach to propositional fuzzy logic
• Cauchy completions of MV-algebras.
• Groupes et anneaux reticules
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Lattice-ordered Rings and Modules
• MV-algebras with operators (the commutative and the non-commutative case).
• MV-modules
• Tensor Products of Archimedean Vector Lattices
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Tensor products of MV-algebras
• Tensor products of partially ordered groups
• The Archimedean \(\ell\)-group tensor product
• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras

Cited in

(7)

• Notes on divisible MV-algebras
• An analysis of the logic of Riesz spaces with strong unit
• Some remarks on divisible polyhedral MV-algebras
• On the semisimple tensor product of MV-algebras
• Adding structure to MV-algebras
• Convex MV-algebras: many-valued logics meet decision theory
• Germinal theories in Łukasiewicz logic

This page was built for publication: Scalar extensions for algebraic structures of Łukasiewicz logic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898191)