MV-algebras freely generated by finite Kleene algebras.

DOI10.1007/s00012-013-0250-3zbMath1316.06013arXiv1306.3335OpenAlexW3103630685MaRDI QIDQ387625

Stefano Aguzzoli, Leonardo Manuel Cabrer, Vincenzo Marra

Publication date: 23 December 2013

Published in: Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

distributive latticessimplicial complexesMV-algebrastriangulationsorder complexesbasesfree algebrasreductsKleene algebrasnatural dualitiesnerves of partially ordered setsrational polyhedraZ-maps

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) MV-algebras (06D35) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Equational classes, universal algebra in model theory (03C05)

Related Items

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics

Cites Work

• Advanced Łukasiewicz calculus and MV-algebras
• A characterization of MV-algebras free over finite distributive lattices
• Gödel algebras free over finite distributive lattices
• Barycentric subdivisions
• Groupes et anneaux reticules
• Algebraic foundations of many-valued reasoning
• Every Abelian \(\ell\)-group is ultrasimplicial
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• The Lebesgue state of a unital abelian lattice-ordered group
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: MV-algebras freely generated by finite Kleene algebras.