14 citations · 21 across the 24 of their papers we have counts for
6 papers · 1 filter
Word problems in Elliott monoids
Daniele Mundici
Algorithmic issues concerning Elliott local semigroups are seldom considered in the literature, although these combinatorial structures completely classify AF algebras. In general,…
Interval MV-algebras and generalizations
Leonardo Manuel Cabrer, Daniele Mundici
For any MV-algebra we equip the set of intervals in with pointwise Łukasiewicz negation , (truncated) Minkowski sum, $x\oplus y=\{α\opl…
A Stone-Weierstrass theorem for MV-algebras and unital -groups
L. M. Cabrer, D. Mundici
Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital -groups), we prove that isomorphi…
Logic on the n-cube
Daniele Mundici
We endow the partially ordered set of nonempty faces of the n-cube with a distinguished 0-dimensional face and three operations that naturally extend the Rota-Metropolis partial op…
The differential semantics of Lukasiewicz syntactic consequence
Daniele Mundici
The classical condition " is a semantic consequence of " in infinite-valued propositional Łukasiewicz logic Ł is refined using enriched valuations that take into acc…
Bouligand-Severi Tangents in MV-Algebras
Manuela Busaniche, Daniele Mundici
In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semis…