14 citations · 21 across the 24 of their papers we have counts for
Showing 2012 · math.LOShow all
3 papers · 2 filters
math.LO2012
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…
math.LO2012
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…
math.LO2012★ 1 cited
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…