Łukasiewicz logic and Riesz spaces.

DOI10.1007/s00500-014-1348-zzbMath1331.06004arXiv1309.1575MaRDI 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-algebras; MV-algebra; Łukasiewicz logic; \(\Gamma\)-functor; de Finetti coherence criterion; \(\Gamma\)-equivalence; Riesz MV-algebras; Riesz modules; RMV-algebra

Mathematics Subject Classification ID

46L05: General theory of (C^*)-algebras

06D35: MV-algebras

03B50: Many-valued logic

46A40: Ordered topological linear spaces, vector lattices

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

Related Items

STRICT COHERENCE ON MANY-VALUED EVENTS, Unnamed Item, Sheaf representations and locality of Riesz spaces with order unit, Unnamed Item, Some remarks on divisible polyhedral MV-algebras, Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability, Łukasiewicz logic and Riesz spaces., Scalar extensions for algebraic structures of Łukasiewicz logic., Generalized fuzzy filters of BL-algebras, Convex MV-algebras: many-valued logics meet decision theory, Ordered group-valued probability, positive operators, and integral representations, Towards understanding the Pierce-Birkhoff conjecture via MV-algebras, Stochastic independence for probability MV-algebras, Affine representations of \(\ell\)-groups and MV-algebras, An analysis of the logic of Riesz spaces with strong unit, Notes on divisible MV-algebras, 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, Expanding lattice ordered abelian groups to Riesz spaces, Risk analysis via Łukasiewicz logic, Models, coproducts and exchangeability: notes on states on Baire functions, Some Notes on Elimination Properties for The Theory of Riesz MV-Chains

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