Polyhedral MV-algebras

DOI10.1016/j.fss.2014.06.015zbMath1385.06003OpenAlexW2055937866MaRDI QIDQ1697339

Daniele Mundici, Manuela Busaniche, Leonardo Manuel Cabrer

Publication date: 19 February 2018

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

Full work available at URL: https://doi.org/10.1016/j.fss.2014.06.015

zbMATH Keywords

dualitypolyhedroncoproductMV-algebratensor productfinite presentabilityŁukasiewicz logicfree productamalgamation propertystrongly semisimple\(\mathbb{Z}\)-mapBouligand-Severi tangent

Mathematics Subject Classification ID

(n)-dimensional polytopes (52B11) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) MV-algebras (06D35) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (2)

Some remarks on divisible polyhedral MV-algebras ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
• The dual adjunction between MV-algebras and Tychonoff spaces
• Advanced Łukasiewicz calculus and MV-algebras
• Representation theory of MV-algebras
• Finite axiomatizability in Łukasiewicz logic
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Algebraic foundations of many-valued reasoning
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Geometry of Robinson consistency in Łukasiewicz logic
• Bouligand-Severi tangents in MV-algebras.
• Lectures on polyhedral topology
• RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
• On matrix representations of consequence operations of Łlukasiewicz's sentential calculi
• Axiomatization of the infinite-valued predicate calculus
• Invariant Measure Under the Affine Group Over

This page was built for publication: Polyhedral MV-algebras