Towards understanding the Pierce-Birkhoff conjecture via MV-algebras

DOI10.1016/J.FSS.2014.11.012MaRDI QIDQ1677046zbMATH OpenOpenAlexWikidataFDO

Authors S. Lapenta, Ioana Leuştean

Publication date 10 November 2017

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

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

zbMATH Keywords

fMV-algebraMV-algebrapiecewise polynomial functionsPierce-Birkhoff conjectureŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Varieties of lattices (06B20) MV-algebras (06D35)

Abstract: Our main issue was to understand the connection between L ukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of extit{f}MV-algebras, which are MV-algebras endowed with both an internal binary product and a scalar product with scalars from $[0,1]$. The proper quasi-variety generated by $[0,1]$, with both products interpreted as the real product, provides the desired framework: the normal form theorem of its corresponding logical system can be seen as a local version of the Pierce-Birkhoff conjecture.

Recommendations

• A general view on normal form theorems for Łukasiewicz logic with product
• Algebraic geometry for MV-algebras
• An algebraic approach to propositional fuzzy logic
• On the Pierce-Birkhoff conjecture over ordered fields
• Geometric issues in the algebraic theory of many valued logics.

Cites work

• A theorem about infinite-valued sentential logic
• Adding structure to MV-algebras
• 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
• Extending piecewise polynomial functions in two variables
• Groupes et anneaux reticules
• 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?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3365842 (Why is no real title available?)
• scientific article; zbMATH DE number 2208124 (Why is no real title available?)
• Ideal Theory in f-Algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Lattice ordered rings and function rings
• Model theory
• On f-rings that are not formally real
• On the Pierce-Birkhoff conjecture
• Product Łukasiewicz logic
• Subalgebras and Riesz Subspaces of an f -Algebra
• Subreducts of MV-algebras with product and product residuation

Cited in

(7)

• Convex MV-algebras: many-valued logics meet decision theory
• Stochastic independence for probability MV-algebras
• Notes on divisible MV-algebras
• On the semisimple tensor product of MV-algebras
• Weak homogeneity and Pierce’s theorem for MV-algebras
• A general view on normal form theorems for Łukasiewicz logic with product
• Scalar extensions for algebraic structures of Łukasiewicz logic.

This page was built for publication: Towards understanding the Pierce-Birkhoff conjecture via MV-algebras

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