MUNDICI, DANIELE

MUNDICI, DANIELE  

Matematica e Informatica 'Ulisse Dini'  

Mostra records
Risultati 1 - 20 di 159 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
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.