Daniele Mundici

collaborators

3 papers

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 Ł $_{\infty}$ is refined using enriched valuations that take into acc…

math.GR2010

Finitely presented lattice-ordered abelian groups with order-unit

Leonardo Cabrer, Daniele Mundici

Let $G$ be an $ℓ$ -group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projectiv…