Łukasiewicz logic and Riesz spaces.

DOI10.1007/s00500-014-1348-zzbMath1331.06004arXiv1309.1575OpenAlexW1981179930MaRDI QIDQ894318

Ioana Leuştean, Antonio Di Nola

Publication date: 30 November 2015

Published in: Soft Computing, Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) (Search for Journal in Brave)

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

zbMATH Keywords

MV-algebrasMV-algebraŁukasiewicz logic\(\Gamma\)-functorde Finetti coherence criterion\(\Gamma\)-equivalenceRiesz MV-algebrasRiesz modulesRMV-algebra

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) MV-algebras (06D35) Many-valued logic (03B50) Ordered topological linear spaces, vector lattices (46A40) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (24)

Convex MV-algebras: many-valued logics meet decision theory ⋮ Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability ⋮ Ordered group-valued probability, positive operators, and integral representations ⋮ Some Notes on Elimination Properties for The Theory of Riesz MV-Chains ⋮ Unnamed Item ⋮ Risk analysis via Łukasiewicz logic ⋮ Models, coproducts and exchangeability: notes on states on Baire functions ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Stochastic independence for probability MV-algebras ⋮ Affine representations of \(\ell\)-groups and MV-algebras ⋮ Łukasiewicz logic and Riesz spaces. ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ Scalar extensions for algebraic structures of Łukasiewicz logic. ⋮ Notes on divisible MV-algebras ⋮ Unnamed Item ⋮ Generalized fuzzy filters of BL-algebras ⋮ Some remarks on divisible polyhedral MV-algebras ⋮ STRICT COHERENCE ON MANY-VALUED EVENTS ⋮ A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra ⋮ Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions ⋮ On the semisimple tensor product of MV-algebras ⋮ An approach to stochastic processes via non-classical logic ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ Expanding lattice ordered abelian groups to Riesz spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• Bookmaking over infinite-valued events
• Łukasiewicz logic and Riesz spaces.
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Banach lattices
• Groupes et anneaux reticules
• MV-modules
• MV-algebras with operators (the commutative and the non-commutative case).
• Max-min representation of piecewise linear functions
• Averaging the truth-value in Łukasiewicz logic
• De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
• On the variety of Riesz spaces
• Subreducts of MV-algebras with product and product residuation
• Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• The Duality BetweenM-Spaces and Compact Hausdorff Spaces
• Sul significato soggettivo della probabilità
• A theorem about infinite-valued sentential logic
• Basic noncommutative geometry

This page was built for publication: Łukasiewicz logic and Riesz spaces.