MUNDICI, DANIELE
MUNDICI, DANIELE
Matematica e Informatica 'Ulisse Dini'
A Cantor Bernstein theorem for sigma-complete MV-algebras
2003 D.Mundici; A.De Simone; M.Navara
A characterization of lattice-ordered abelian groups
1993 D. MUNDICI; G. ELLIOTT
A Characterization of the free n-generated MV-algebra
2006 D. MUNDICI
A Compact [0,1]-valued First-orderŁukasiewicz Logic with Identity on HilbertSpace
2011 D.Mundici
A constructive proof of McNaughton's theorem,
1994 D. MUNDICI
A constructive proof that every 3-generated l-group is ultrasimplicial
1999 D. MUNDICI; G. PANTI
A generalization of abstract model theory
1984 D. MUNDICI
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
1981 D.MUNDICI
A LOWER BOUND FOR THE COMPLEXITY OF CRAIG'S INTERPOLANTS IN SENTENTIAL LOGIC
1983 D. MUNDICI
A PROOF OF THE COMPLETENESS OF THE INFINITE-VALUED CALCULUS OF LUKASIEWICZ WITH ONE VARIABLE
1995 D. MUNDICI; M. PASQUETTO
A simple construction of Robinson equivalence relations
1987 D. MUNDICI
A Stone-Weierstrass theorem for MV-algebras and unital l-groups
2014 L. M. Cabrer; D. Mundici
Abstract Equivalence Relations
1985 D. MUNDICI; J. MAKOWSKY
Abstract model theory and nets of C*-algebras
1984 D. Mundici
Advanced Lukasiewicz calculus and MV-algebras
2011 D.Mundici
AF C*-algebras, abelian l-groups and Lukasiewicz infinite-valued logic
1990 D.Mundici
Algebraic Foundations of Many-valued Reasoning
2000 D. MUNDICI; R. CIGNOLI; I. D'OTTAVIANO
Algebras da Logica de Lukasiewicz
1994 D.Mundici; R.Cignoli; I. D'Ottaviano
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem,
1981 D. MUNDICI
An algorithmic desingularization of 3-dimensional toric varieties
1994 D. MUNDICI; AGUZZOLI S.