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
distributive latticessimplicial complexesMV-algebrastriangulationsorder complexesbasesfree algebrasreductsKleene algebrasnatural dualitiesnerves of partially ordered setsrational polyhedraZ-maps
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: MV-algebras freely generated by finite Kleene algebras.