A Geometric Approach to MV-Algebras

DOI10.1007/978-3-319-28808-6_4zbMath1429.06014OpenAlexW2475147017MaRDI QIDQ5213712

Daniele Mundici

Publication date: 4 February 2020

Published in: On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28808-6_4

zbMATH Keywords

affine groupBoolean logicregular triangulationbasic observablelinear piece

Mathematics Subject Classification ID

MV-algebras (06D35)

Related Items (1)

Fixpoint theory -- upside down

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Advanced Łukasiewicz calculus and MV-algebras
• \((S,N)\)- and \(R\)-implications: A state-of-the-art survey
• The Haar theorem for lattice-ordered abelian groups with order-unit
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Implication in fuzzy logic
• Triangular norms
• Algebraic foundations of many-valued reasoning
• Residual implications revisited. Notes on the Smets-Magrez theorem.
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Simplicial geometry of unital lattice-ordered abelian groups.
• RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
• Classifying orbits of the affine group over the integers
• The Word Problem Versus the Isomorphism Problem
• On Rational Subdivisions of Polyhedra with Rational Vertices
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Markov's theorem and algorithmically non-recognizable combinatorial manifolds
• Invariant Measure Under the Affine Group Over
• Free Vector Lattices
• Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
• Simplicial Spaces, Nuclei and m -Groups

This page was built for publication: A Geometric Approach to MV-Algebras