Notes on divisible MV-algebras

DOI10.1007/S00500-016-2339-ZMaRDI QIDQ1703636zbMATH OpenOpenAlexFDO

Authors S. Lapenta, Ioana Leuştean

Publication date 7 March 2018

Published in Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

divisible hullDMV-algebrasMV-algebrasrational polyhedrarational Łukasiewicz logic

Mathematics Subject Classification ID

MV-algebras (06D35)

Abstract: In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $mathbbQ$-vector lattices, we present the divisible hull as a categorical adjunction and we prove a duality between finitely presented algebras and rational polyhedra.

Recommendations

• Some remarks on divisible polyhedral MV-algebras
• Divisible effect algebras
• A note on divisible residuated lattices
• Weakly divisible MV-algebras and product
• MV-algebras: An approach to fixed points in Łukasiewicz logic

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• A theorem about infinite-valued sentential logic
• 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
• Duality Theorems for Finitely Generated Vector Lattices
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Free Vector Lattices
• scientific article; zbMATH DE number 1775509 (Why is no real title available?)
• scientific article; zbMATH DE number 6276271 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Max-min representation of piecewise linear functions
• MV-modules
• Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
• Scalar extensions for algebraic structures of Łukasiewicz logic.
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• The Riesz hull of a semisimple MV-algebra
• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras

Cited in

(9)

• Weakly divisible MV-algebras and product
• Divisible effect algebras
• On the semisimple tensor product of MV-algebras
• On EMV-algebras with square roots
• A note on divisible residuated lattices
• Some remarks on divisible polyhedral MV-algebras
• Moufang Sets and Structurable Division Algebras
• n-roots on MV-algebras
• Training as inference: using hybrid modal logic for specifying neural networks

This page was built for publication: Notes on divisible MV-algebras

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