A Geometric Approach to MV-Algebras

DOI10.1007/978-3-319-28808-6_4MaRDI QIDQ5213712zbMATH OpenOpenAlexFDO

Authors 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 groupbasic observableBoolean logiclinear pieceregular triangulation

Mathematics Subject Classification ID

MV-algebras (06D35)

Recommendations

• Algebraic geometry for MV-algebras
• On the geometric theory of local MV-algebras
• scientific article; zbMATH DE number 1547747
• scientific article; zbMATH DE number 951667
• Polyhedral MV-algebras
• A new approach to characterization of MV-algebras
• Generalized MV-algebras
• Geometry of filters in free MV-algebras
• Varieties of MV-algebras
• Vectorial MV-algebras

Cites work

• \((S,N)\)- and \(R\)-implications: A state-of-the-art survey
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Classifying orbits of the affine group over the integers
• Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Free Vector Lattices
• scientific article; zbMATH DE number 410743 (Why is no real title available?)
• scientific article; zbMATH DE number 955336 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 192947 (Why is no real title available?)
• scientific article; zbMATH DE number 3558027 (Why is no real title available?)
• scientific article; zbMATH DE number 700081 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• Implication in fuzzy logic
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Invariant measure under the affine group over Z
• Markov's theorem and algorithmically non-recognizable combinatorial manifolds
• On Rational Subdivisions of Polyhedra with Rational Vertices
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Residual implications revisited. Notes on the Smets-Magrez theorem.
• Simplicial geometry of unital lattice-ordered abelian groups.
• Simplicial Spaces, Nuclei and m -Groups
• The Haar theorem for lattice-ordered abelian groups with order-unit
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• The Word Problem Versus the Isomorphism Problem
• Triangular norms

Cited in

(2)

• Fixpoint theory -- upside down
• A monoidal view on fixpoint checks

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

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