Scalar extensions for algebraic structures of Łukasiewicz logic.

DOI10.1016/J.JPAA.2015.09.017zbMATH Open1333.06028arXiv1410.8298OpenAlexW2129677791MaRDI QIDQ898191FDOQ898191

Authors: S. Lapenta, Ioana Leuştean 

Publication date: 8 December 2015

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

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.

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

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
• Riesz MV-algebras and their logic
• scientific article; zbMATH DE number 2168736

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)

Cites Work

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

Cited In (7)

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

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)