Personale

Recapiti

Orario di ricevimento

Italiano

Pubblicazioni

Insegnamenti

Daniele MUNDICI

Ruolo attuale:: Professore Ordinario in Pensione
SSD:: MAT/01 - Logica matematica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

daniele.mundici(AT)unifi.it

Ulteriori Recapiti

http://people.dimai.unifi.it/mundici/index.html

Daniele MUNDICI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Cabrer, Leonardo Manuel; Mundici, Daniele (2017). Idempotent endomorphisms of free MV-algebras and unital ℓ-groups. JOURNAL OF PURE AND APPLIED ALGEBRA, vol. 221, pp. 908-934, ISSN:0022-4049 DOI Accesso ONLINE all'editore

Mundici, Daniele (2017). De Finetti coherence and the product law for independent events. SYNTHESE, vol. ..., pp. 1-7, ISSN:0039-7857 DOI Accesso ONLINE all'editore

Mundici, Daniele; Sieg, Wilfried (2017). Turing, the Mathematician. In: Mundici, Daniele. Philosophical Explorations of the Legacy of Alan Turing: Turing 100,, pp. 39-62, Boston (USA): Boston Studies in the Philosophy and History of Science, vol. 324, ISBN:978-3-319-53278-3. DOI

Mundici, Daniele (2016). Hopfian ℓ-groups, MV-algebras and AF C∗-algebras. FORUM MATHEMATICUM, vol. 28, pp. 1111-1130, ISSN:0933-7741 DOI Accesso ONLINE all'editore

Mundici, Daniele (2016). Coherence of de Finetti coherence. SYNTHESE, pp. 1-9, ISSN:0039-7857 DOI Accesso ONLINE all'editore

Cabrer, Leonardo Manuel; Mundici, Daniele (2016). Germinal theories in Łukasiewicz logic. ANNALS OF PURE AND APPLIED LOGIC, pp. 1-20, ISSN:0168-0072 DOI

Cabrer, Leonardo Manuel; Mundici, Daniele (2016). Classifying GL(n,Z)-orbits of points and rational subspaces. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 36, pp. 4723-4738, ISSN:1078-0947 DOI Accesso ONLINE all'editore

Leonardo Manuel Cabrer; Daniele Mundici (2015). Severi-Bouligand tangents, Frenet frames and Riesz spaces. ADVANCES IN APPLIED MATHEMATICS, vol. 64, pp. 1-20, ISSN:0196-8858 DOI

Cabrer, LEONARDO MANUEL; Mundici, Daniele (2015). Classifying orbits of the affine group over the integers. ERGODIC THEORY & DYNAMICAL SYSTEMS, pp. 0-0, ISSN:0143-3857 DOI Accesso ONLINE all'editore

Manuela Busaniche; Daniele Mundici (2014). Bouligand-Severi tangents in MV-algebras. REVISTA MATEMATICA IBEROAMERICANA, vol. 30, pp. 191-201, ISSN:0213-2230 DOI

Leonardo Manuel Cabrer;Daniele Mundici (2014). Interval MV-algebras and generalizations. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 55, pp. 1623-1642, ISSN:0888-613X DOI

L. M. Cabrer; D. Mundici (2014). A Stone-Weierstrass theorem for MV-algebras and unital l-groups. JOURNAL OF LOGIC AND COMPUTATION, pp. 1-17, ISSN:0955-792X DOI

Mundici, D.; Picardi, C. (2014). Faulty sets of Boolean formulas and Lukasiewicz logic. JOURNAL OF LOGIC AND COMPUTATION, pp. 0-0, ISSN:0955-792X DOI

DANIELE MUNDICI (2014). Invariant Measure Under the Affine Group Over. COMBINATORICS PROBABILITY & COMPUTING, vol. 23, pp. 248-268, ISSN:0963-5483 DOI

Mundici, Daniele (2013). Dalla Macchina di Turing a P/NP. Milano: McGraw-Hill, ISBN:9788838674020 Accesso ONLINE all'editore

Daniele Mundici (2013). Logic on the n-cube. JOURNAL OF LOGIC AND COMPUTATION, pp. 1-16, ISSN:0955-792X DOI

D.Mundici (2012). Logic: a Brief Course. Milano: Springer-Verlag Italia, ISBN:9788847023604

D.Mundici; M.Busaniche; L.Cabrer (2012). Confluence and combinatorics in finitelygenerated unital lattice-ordered abelian groups. FORUM MATHEMATICUM, vol. 24, pp. 253-271, ISSN:0933-7741 DOI

Daniele Mundici; Leonardo Cabrer (2012). Rational polyhedra and projective lattice-ordered abelian groups with order unit. COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, vol. 14.3, pp. 0-0, ISSN:0219-1997 DOI

D.Mundici (2011). Revisiting the Farey AF algebra. MILAN JOURNAL OF MATHEMATICS, vol. 79, pp. 643-656, ISSN:1424-9286 DOI

D.Mundici (2011). A Compact [0,1]-valued First-orderŁukasiewicz Logic with Identity on HilbertSpace. JOURNAL OF LOGIC AND COMPUTATION, vol. 21, pp. 509-525, ISSN:0955-792X DOI

D.Mundici (2011). Consequence and interpolation in Łukasiewicz logic. STUDIA LOGICA, vol. 99, pp. 269-278, ISSN:0039-3215 DOI Accesso ONLINE all'editore

D.Mundici (2011). Logica:Metodo Breve. Milano: Springer-Verlag, ISBN:9788847018846 DOI

D.Mundici (2011). Advanced Lukasiewicz calculus and MV-algebras. New York: Springer-Verlag, ISBN:9789400708396 DOI

D.Mundici; J.Kuehr (2011). From free abelian groups to free abelian l-groups. MATHEMATICA SLOVACA, vol. 61, pp. 439-450, ISSN:0139-9918 DOI

D.Mundici (2011). Finite axiomatizability in Łukasiewicz logic. ANNALS OF PURE AND APPLIED LOGIC, vol. 162, pp. 1035-1047, ISSN:0168-0072 DOI

D.Mundici; L.Cabrer (2011). Finitely presented lattice-ordered abelian groups with order-unit. JOURNAL OF ALGEBRA, vol. 343, pp. 1-10, ISSN:0021-8693 DOI

D.Mundici; D.Cicalese (2011). Recent developments of feedback coding and its relations with many-valued logic. In: Johan van Benthem, et al.. Proof, Computation and Agency, Synthese Library, vol. 352, pp. 115-131, Berlin, Heidelberg, New York: Springer-Verlag. DOI

D.Mundici (2010). From BL to MV. In: P.Cintula et al.. Witnessed Years: Essays in Honour Petr Hajek, pp. 273-286, Londra: College Publications, ISBN:9781904987635.

Daniele Mundici; Leonardo Manuel Cabrer (2010). Projective mv-algebras and rational polyhedra. ALGEBRA UNIVERSALIS, vol. 62, pp. 63-74, ISSN:0002-5240 DOI

D.Mundici (2009). Rota, probability, algebra and logic. In: E.Damiani et al., eds.. From combinatorics to philosophy, pp. 167-181, New York: Springer, NY. DOI

D.Mundici (2009). Interpretation of de Finetti coherence criterionin \L ukasiewicz logic,. ANNALS OF PURE AND APPLIED LOGIC, vol. 161, pp. 235-245, ISSN:0168-0072

D.Mundici (2009). Recognizing the Farey-Stern-Brocot AF algebra,. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI LINCEI. MATEMATICA E APPLICAZIONI, vol. 20, pp. 327-338, ISSN:1720-0768 DOI

D. Mundici (2009). Conditionals and independence in many-valued logics. In: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, 2009, Springer, vol. 5590, pp. 16-21, ISBN:978-364202905-9 DOI

D.MUNDICI (2008). The Haar theorem for lattice-ordered abelian groups with order-unit. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 21, pp. 537-549, ISSN:1078-0947 DOI

D. Mundici (2008). La logica dei poliedri. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, vol. 9.1 (2), pp. 455-474, ISSN:1972-6724 Accesso ONLINE all'editore

D. MUNDICI; C. TSINAKIS (2008). Goedel incompleteness in AF C*-algebras. FORUM MATHEMATICUM, vol. 20, pp. 1071-1084, ISSN:0933-7741 DOI

D. Mundici (2008). Faithful and invariant conditionals in Lukasiewicz logic. In: D. Makinson et a.. Trends in Logic IV, pp. 213-232, Berlin: Springer Verlag. DOI

D.Mundici (2008). Geometry of filters in free MV-algebras. In: Conference in honour A.A.Monteiro, Lisbon, Portugal, Sociedade Portuguesa de Matemática, pp. 275-286.

D.Mundici; A. Glass; V.Marra (2007). Embedding in finitely presented lattice-ordered groups. In: C.M.Campbell (Ed.). Groups St. Andrews 2005, London Mathematical Society, Lecture Note Series, vol. 339, pp. 438-444, Cambridge (UK): Cambridge University Press.

D. MUNDICI; BUSANICHE M (2007). Geometry of Robinson consistency in Łukasiewicz logic. ANNALS OF PURE AND APPLIED LOGIC, vol. 147, pp. 1-22, ISSN:0168-0072, Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598: DOI

D.MUNDICI; V. MARRA (2007). The Lebesgue state of a unital abelian lattice-ordered group. JOURNAL OF GROUP THEORY, vol. 10, pp. 655-684, ISSN:1433-5883 DOI

D.Mundici; F.Cicalese (2007). Recent developments of feedback coding and its relations with many-valued logic. In: First Indian Conference on Logic and its relations with other disciplines, Mumbay, India, Jan. 2005, pp. 222-240.

D. MUNDICI; KUHR J (2007). De Finetti theorem and Borel states in [0,1]-valued algebraic logic. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 46, pp. 605-616, ISSN:0888-613X, Elsevier Science Incorporated / NY Journals:Madison Square Station, PO Box 882:New York, NY 10159:(212)633-3730, EMAIL: usinfo-f@elsevier.com, INTERNET: http://www.elsevier.com, Fax: (212)633-3680: DOI

D. MUNDICI (2007). Free generating sets of lattice-ordered abelian groups. JOURNAL OF PURE AND APPLIED ALGEBRA, vol. 211, pp. 400-403, ISSN:0022-4049 DOI

D. MUNDICI; MANARA C; MARRA V (2007). Lattice-ordered Abelian groups and Schauder bases of unimodular fans. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 359, pp. 1593-1604, ISSN:0002-9947 DOI

D. MUNDICI (2007). Revisiting the free two-generator lattice-ordered abelian group. JOURNAL OF PURE AND APPLIED ALGEBRA, vol. 208, pp. 549-554, ISSN:0022-4049, Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598:

D. Mundici (2006). Representation of sigma-complete MV-algebras and their associated Dedekind groups. In: S. Jain et al.. Contemporary Mathematics, AMS, vol. 419, pp. 219-230, Oxford, UK: Oxford University Press.

D. MUNDICI; CIGNOLI R (2006). Stone duality for Dedekind $sigma$-complete $ell$-groups with order-unit,. JOURNAL OF ALGEBRA, vol. 302, pp. 848-861, ISSN:0021-8693

D. MUNDICI (2006). Bookmaking over infinite-valued events. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, vol. 43, pp. 223-240, ISSN:0888-613X, Elsevier Science Incorporated / NY Journals:Madison Square Station, PO Box 882:New York, NY 10159:(212)633-3730, EMAIL: usinfo-f@elsevier.com, INTERNET: http://www.elsevier.com, Fax: (212)633-3680: DOI

D. MUNDICI (2006). A Characterization of the free n-generated MV-algebra. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 45, pp. 239-247, ISSN:0933-5846, Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229: DOI

D.Mundici; R.Cignoli; M.Navara (2006). Kleene-isomorphic sigma-complete MV-algebras with product are isomorphic. JOURNAL OF MULTIPLE VALUED LOGIC & SOFT COMPUTING, vol. 12.1, pp. 1-8, ISSN:1542-3980

D.Mundici; V.Marra (2006). Riemann average truth-value of Lukasiewicz formulas. MATHEMATICA SLOVACA, vol. 56, pp. 511-524, ISSN:0139-9918

D. MUNDICI; J.GISPERT (2005). MV-algebras: a variety for magnitudes with archimedean units. ALGEBRA UNIVERSALIS, vol. 53, pp. 7-43, ISSN:0002-5240, Birkhaeuser Verlag AG:Viaduktstrasse 42-44, CH 4051 Basel Switzerland:011 41 61 2050707, EMAIL: subscriptions@birkhauser.ch, INTERNET: http://www.birkhauser.ch, Fax: 011 41 61 2050792: DOI

D.Mundici (2005). Decidability and Goedel incompleteness in AF C*-algebras. MANUSCRITO, vol. 28, pp. 547-588, ISSN:0100-6045

D.MUNDICI; F.CICALESE; C.DEPPE (2004). Q-ary Ulam-Renyi game with weighted constrained lies. In: K.Y. Chwa, KY, I. Munro J.. 10th International Computing and Combinatorics Conference (COCOON 2004), pp. 82-91 Springer Verlag. DOI

D. MUNDICI (2004). SIMPLE BRATTELI DIAGRAMS WITH A GOEDEL INCOMPLETE ISOMORPHISM PROBLEM. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 356, pp. 1937-1955, ISSN:0002-9947

D. MUNDICI; R. CIGNOLI; E. DUBUC (2004). Extending Stone duality to multisets and locally finite MV-algebras. JOURNAL OF PURE AND APPLIED ALGEBRA, vol. 189, pp. 37-59, ISSN:0022-4049 DOI

D. MUNDICI; S. AGUZZOLI (2003). Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. In: E. ORLOWSKA; M. FITTING. Beyond Two: Theory and applications of multiple-valued logic, pp. 315-335, Heilelberg, New York: Springer-Verlag.

D.Mundici; A.De Simone; M.Navara (2003). A Cantor Bernstein theorem for sigma-complete MV-algebras. CZECHOSLOVAK MATHEMATICAL JOURNAL, vol. 53, pp. 437-447, ISSN:0011-4642 DOI

D.Mundici; R.Cignoli; E. Dubuc (2003). An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism. TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, vol. 27, pp. 23-43, ISSN:1210-3195

D. MUNDICI; V. MARRA (2003). LUKASIEWICZ LOGIC AND CHANG'S MV ALGEBRAS IN ACTION. In: V.HENDRICKS, J.MALINOWSKI , EDS.,. IN: TRENDS IN LOGIC, VOL. 21. 50 YEARS OF STUDIA LOGICA (KLUWER, DORDRECHT), pp. 145-192, Dordrecht, NL: Kluwer, Academic Publishers.

D. MUNDICI; F. CICALESE (2003). LEARNING AND THE ART OF FAULT-TOLERANT GUESSWORK. In: J. Stamatescu. PERSPECTIVES ON ADAPTIVITY AND LEARNING (SPRINGER-VERLAG), pp. 117-143, Berlin, New York: STAMATESCU, I. ET AL.,. DOI

D.Mundici; V.Marra (2002). Combinatorial fans, l-groups and their neighbours; a short excursion. SÉMINAIRE LOTHARINGIEN DE COMBINATOIRE, vol. 47, pp. B47f-B47f, ISSN:1286-4889

D. MUNDICI; V. MARRA (2002). CONSEQUENCE AND COMPLEXITY IN INFINITE-VALUED LOGIC: A SURVEY. In: PROC. 32ST IEEE INT. SYMP. ON MULTIPLE-VALUED LOGIC, ISMVL, BOSTON, ACM, pp. 104-114. DOI

D. MUNDICI (2002). IF-THEN-ELSE AND RULE EXTRACTION FROM TWO SETS OF RULES. In: FROM SYNAPSES TO RULES, APOLLONI ET AL. EDS. (KLUWER/PLENUM, NY), CENTER FOR PHYSICS "E.MAJORANA", ERICE, SICILY, ITALY, Springer New York, NY, pp. 87-108. DOI

D. MUNDICI; V. MARRA (2002). MV-ALGEBRAS AND ABELIAN L-GROUPS: A FRUITFUL INTERACTION. In: ORDERED ALGEBRAIC STRUCTURES, HONORING PAUL CONRAD FOR HIS 80TH BIRTHDAY, J.MARTINEZ, ED., KLUWER AC. PUBLISHERS, pp. 57-88.

D. MUNDICI; CICALESE F.; VACCARO U. (2002). Least adaptive optimal search with unreliable tests. THEORETICAL COMPUTER SCIENCE, vol. 270, pp. 877-893, ISSN:0304-3975 DOI

D. MUNDICI; RIECAN B. (2002). Probability on MV-algebras. In: E.PAP. Handbook of Measure Theory, Vol.II, pp. 869-909, AMSTERDAM: North-Holland.

D. MUNDICI (2002). FAULT-TOLERANCE AND ROTA-METROPOLIS CUBIC LOGIC. In: PARACONSISTENCY, W.CARNIELLI ED., MARCELL DEKKER, INC, pp. 397-409.

D. MUNDICI; S. AGUZZOLI (2001). WEIERSTRASS APPROXIMATIONS BY ŁUKASIEWICZ FORMULAS WITH ONE QUANTIFIED VARIABLE. In: PROC. 31ST IEEE INT.SYMP. ON MULTIPLE VALUED LOGIC, ISMVL, WARSAW, POLAND, IEEE, pp. 361-366. DOI

D.MUNDICI; R.CIGNOLI (2001). Partial isomorphisms on totally ordered abelian groups and Hajek completeness theorem for basic logic. MULTIPLE-VALUED LOGIC, vol. 6, pp. 89-94, ISSN:1023-6627

D. MUNDICI; G. PANTI (2001). Decidable and undecidable prime theories in infinite-valued logic. ANNALS OF PURE AND APPLIED LOGIC, vol. 108, pp. 269-278, ISSN:0168-0072 DOI

D. MUNDICI; F. CICALESE; U. VACCARO (2001). Rota-Metropolis cubic logic and Ulam-Renyi games. In: H. CRAPO; D.SENATO; EDS.. Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota, pp. 197-244, Milano: Springer-Verlag, Italia.

D. MUNDICI; R. CIGNOLI; I. D'OTTAVIANO (2000). Algebraic Foundations of Many-valued Reasoning. DORDRECHT, NL: KLUWER ACADEMIC PUBLISHERS DOI

D. MUNDICI (2000). Logics of Uncertainty: Foreword. JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION, vol. 9, pp. 1-3, ISSN:0925-8531

D. MUNDICI (2000). Reasoning on imprecisely defined functions. In: V.Novak, I. Perfilieva. Discovering the world with fuzzy logic, Studies in fuzziness and soft computing, 57, pp. 331-366, New York, Heidelberg: Springer-Verlag.

D. MUNDICI; F. CICALESE (2000). Perfect two fault-tolerant search with minimum adaptiveness. ADVANCES IN APPLIED MATHEMATICS, vol. 25, pp. 65-101, ISSN:0196-8858 DOI

D. MUNDICI; F. CICALESE; U. VACCARO (2000). LEAST ADAPTIVE OPTIMAL SEARCH WITH UNRELIABLE TESTS. In: Halldórsson M.M.. 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, pp. 549-562 Springer Verlag. DOI

D. MUNDICI; F. CICALESE (2000). OPTIMAL CODING WITH ONE ASYMMETRIC ERROR: BELOW THE SPHERE PACKING BOUND. In: Du D.-Z., Eades P., Estivill-Castro V., Lin X., Sharma A.. 6th Annual International Conference on Computing and Combinatorics, COCOON 2000, pp. 159-169 Springer Verlag. DOI

D. MUNDICI; C. DROSSOS (2000). Many-valued points and equality. SYNTHESE, vol. 125, pp. 97-101, ISSN:0039-7857

D. MUNDICI; G. PANTI (1999). Twenty questions with many-valued answers. In: XTH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC, CAICEDO ET AL., EDS. (M.DEKKER, NY), MERIDA, pp. 295-313.

D. MUNDICI (1999). CLASSES OF ULTRASIMPLICIAL LATTICE-ORDERED ABELIAN GROUPS. JOURNAL OF ALGEBRA, vol. 213, pp. 596-603, ISSN:0021-8693 DOI

D. MUNDICI (1999). ULAM GAME, THE LOGIC OF MAXSAT, AND MANY-VALUED PARTITIONS. In: D.DUBOIS, H.PRADE, E.P.KLEMENT. LOGICS AND REASONING ABOUT KNOWLEDGE (KLUWER ACADEMIC PUBLISHERS, DORDRECHT, THE NETHERLANDS), pp. 121-137, Dordrecht, NL: Kluwer Academic Publishers,.

D. MUNDICI; F. CICALESE (1999). OPTIMAL BINARY SEARCH WITH TWO UNRELIABLE TESTS AND MINIMUM ADAPTIVENESS. In: Nešetřil J.. 7th Annual European Symposium on Algorithms, ESA 1999, pp. 257-266 Springer Verlag. DOI

D. MUNDICI; G. PANTI (1999). A constructive proof that every 3-generated l-group is ultrasimplicial. In: TYURN et al.. Banach Center Publications vol 46, pp. 169-178, WARSAW: Polish Academic Publishers (Banach Center Publ.)., vol. 46:

D. MUNDICI; GISPERT, J; TORRENS A (1999). Ultraproducts of Z, with an application to many-valued logic. JOURNAL OF ALGEBRA, vol. 219, pp. 214-233, ISSN:0021-8693 DOI

D. MUNDICI (1999). Tensor Products and the Loomis-Sikorski theorem for MV-algebras. ADVANCES IN APPLIED MATHEMATICS, vol. 22, pp. 227-248, ISSN:0196-8858 DOI

D. MUNDICI; N. OLIVETTI (1998). Resolution and model building in the infinite-valued calculus of Lukasiewicz. THEORETICAL COMPUTER SCIENCE, vol. 200, pp. 335-366, ISSN:0304-3975 DOI

D. Mundici; W. Sieg (1998). Computability Theory. In: Edward Craig, general editor. Routledge Encyclopedia of Philosophy, pp. 500-512.

D.MUNDICI (1998). Nonboolean partitions and their logic. SOFT COMPUTING, vol. 2, pp. 18-22, ISSN:1432-7643

D.MUNDICI; R.CIGNOLI (1998). An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit. STUDIA LOGICA, vol. 40, pp. 49-64, ISSN:0039-3215

D.MUNDICI; R.CIGNOLI (1997). An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz. STUDIA LOGICA, vol. 58, pp. 79-97, ISSN:0039-3215 DOI

D. MUNDICI; R. CIGNOLI (1997). AN INVITATION TO CHANG'S MV-ALGEBRAS. In: M.DROSTE, R.GOEBEL. ADVANCES IN ALGEBRA AND MODEL THEORY (GORDON AND BREACH, PUB.COMPANY, READING, UK), pp. 171-197, Reading, UK: Gordon and Breach PublishingGroup,.

D. MUNDICI; A. TROMBETTA (1997). Optimal comparison strategies in Ulam's searching game with two errors. THEORETICAL COMPUTER SCIENCE, vol. 182, pp. 217-232, ISSN:0304-3975, Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598: DOI

D. MUNDICI (1996). LUKASIEWICZ NORMAL FORMS AND TORIC DESINGULARIZATIONS. In: PROCEEDINGS LOGIC COLLOQUIUM '93, Oxford University Press, KEELE, UK, pp. 401-423.

D. MUNDICI; C. CIFUENTES; A. SETTE (1996). Cauchy Completeness in elementary logic. THE JOURNAL OF SYMBOLIC LOGIC, vol. 61, pp. 1153-1157, ISSN:0022-4812 DOI

D.MUNDICI; W.Sieg (1995). Paper machines. PHILOSOPHIA MATHEMATICA, vol. 3, pp. 5-30, ISSN:0031-8019

D.MUNDICI (1995). Averaging the truth-value in Lukasiewicz sentential logic. STUDIA LOGICA, vol. 55, pp. 113-127, ISSN:0039-3215

D. MUNDICI; M. PASQUETTO (1995). A PROOF OF THE COMPLETENESS OF THE INFINITE-VALUED CALCULUS OF LUKASIEWICZ WITH ONE VARIABLE. In: HOHLE, U., KLEMENT, E.P.K. (EDS). NON-CLASSICAL LOGICS AND THEIR APPLICATIONS (KLUWER AC.PUB., DORDRECHT, THE NETHERLANDS), pp. 107-123, Dordrecht, NL: Kluwer Acad. Publishers. DOI

D. MUNDICI (1994). A constructive proof of McNaughton's theorem,. THE JOURNAL OF SYMBOLIC LOGIC, vol. 59, pp. 596-602, ISSN:0022-4812

D.Mundici; R.Cignoli; I. D'Ottaviano (1994). Algebras da Logica de Lukasiewicz. Campinas, SP, Brazil: UNICAMP (State Univ. of Campinas, SP, Brazil)

D. MUNDICI; AGUZZOLI S. (1994). An algorithmic desingularization of 3-dimensional toric varieties. TOHOKU MATHEMATICAL JOURNAL, vol. 46, pp. 557-572, ISSN:0040-8735 DOI

D. MUNDICI (1993). Logic of infinite quantum systems. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, vol. 32, pp. 1941-1955, ISSN:0020-7748 DOI

D.MUNDICI (1993). Ulam games, Lukasiewicz logic and AF C*-algebras. FUNDAMENTA INFORMATICAE, vol. 18, pp. 151-161, ISSN:0169-2968

D. MUNDICI; R. CIGNOLI; G. ELLIOTT (1993). Reconstructing C*--algebras from their Murray von Neumann orders,. ADVANCES IN MATHEMATICS, vol. 101, pp. 166-179, ISSN:0001-8708 DOI

D. MUNDICI; G. PANTI (1993). EXTENDING ADDITION IN ELLIOTT'S LOCAL SEMIGROUP. JOURNAL OF FUNCTIONAL ANALYSIS, vol. 117, pp. 461-471, ISSN:0022-1236 DOI

D. MUNDICI (1993). K_0, RELATIVE DIMENSION AND THE C*-ALGEBRAS OF POST LOGIC. In: IX LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC, BAHIA BLANCA, ARGENTINA, INMABB, vol. 38.1, pp. 83-92. Accesso ONLINE all'editore

D. MUNDICI; G. ELLIOTT (1993). A characterization of lattice-ordered abelian groups. MATHEMATISCHE ZEITSCHRIFT, vol. 213, pp. 179-185, ISSN:0025-5874 DOI

D. MUNDICI (1992). TURING COMPLEXITY OF BEHNCKE-LEPTIN C*-ALGEBRAS WITH A TWO-POINT DUAL. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, vol. 6, pp. 287-294, ISSN:1012-2443 DOI

D. MUNDICI (1992). THE LOGIC OF ULAM'S GAME WITH LIES. In: C. Bicchieri, M.Dalla Chiara. Knowledge, Belief and Strategic Interaction,Cambridge Studies in Probability, Induction, and Decision Theory, pp. 275-284, CAMBRIDGE, UK: Cambridge University Press.

D. MUNDICI (1992). NORMAL FORMS IN INFINITE-VALUED LOGIC: THE CASE OF ONE VARIABLE. In: Borger E., Jager G., Buning H.K., Richter M.M.. 5th Workshop on Computer Science Logic, CSL 1991 Berne, pp. 272-277 Springer Verlag. DOI

D. MUNDICI (1991). THE COMPLEXITY OF ADAPTIVE ERROR-CORRECTING CODES. In: Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld. CSL 1990: Computer Science Logic, pp. 300-307 Springer-Verlag. DOI

D. MUNDICI (1991). Solution of Rota's problem on the order of series-parallel networks. ADVANCES IN APPLIED MATHEMATICS, vol. 12, pp. 455-463, ISSN:0196-8858 DOI

D. MUNDICI (1990). REDUCIBILITY OF MONOTONE FORMULAS TO $MU$-FORMULAS. In: Egon Börger, Hans Kleine Büning, Michael M. Richter. CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings, pp. 267-270 Spriger Verlag. DOI

D.Mundici (1990). AF C*-algebras, abelian l-groups and Lukasiewicz infinite-valued logic. In: (M.Dickmann et al., Eds). Seminar on Ordered Algebraic Structrures, vol.2, pp. 99-115, Paris, France: Publications mathematiques, Universite' Paris VII.

D. MUNDICI (1989). Functions computed by monotone Boolean formulas with no repeated variables. THEORETICAL COMPUTER SCIENCE, vol. 66, pp. 113-114, ISSN:0304-3975 DOI

D. MUNDICI; A. PELC; J. CZYZOWICZ (1989). Ulam's searching game with lies. JOURNAL OF COMBINATORIAL THEORY. SERIES A, vol. 52, pp. 62-76, ISSN:0097-3165 DOI

D. MUNDICI (1989). THE C*-ALGEBRAS OF THREE-VALUED LOGIC. In: PROCEEDINGS LOGIC COLLOQUIUM 1988, NORTH-HOLLAND, AMSTERDAM, PADOVA, Elsevier, pp. 61-77. DOI

D. MUNDICI (1988). Free products in the category of abelian l-groups with strong unit. JOURNAL OF ALGEBRA, vol. 113, pp. 89-109, ISSN:0021-8693 DOI

D. MUNDICI (1988). Farey stellar subdivisions, ultrasimplicial groups, and K_0 of AF C*-algebras,. ADVANCES IN MATHEMATICS, vol. 68, pp. 23-39, ISSN:0001-8708 DOI

D. MUNDICI (1988). THE DERIVATIVE OF TRUTH IN LUKASIEWICZ SENTENTIAL CALCULUS,. In: PROC. VII LATIN AMERICAN SYMP. ON MATH. LOGIC, pp. 209-227.

D. MUNDICI; A. PELC; J. CZYZOWICZ (1988). Solution of Ulam's problem on binary search with two lies,. JOURNAL OF COMBINATORIAL THEORY. SERIES A, vol. 49, pp. 384-388, ISSN:0097-3165 DOI

D.Mundici (1987). Bounded commutative BCK-algebras have the amalgamation property. MATHEMATICA JAPONICA, vol. 32, pp. 279-282, ISSN:0025-5513

D. MUNDICI (1987). Every abelian l-group with two positive generators is ultrasimplicial. JOURNAL OF ALGEBRA, vol. 105, pp. 236-241, ISSN:0021-8693 DOI

D.Mundici; F. Ammannati; P.Mennonna; R. De Dominicis; G. Dal Pozzo; C. Fonda; G.Pazzaglini; B. Lehmann (1987). CT-guided stereotactic biopsy of endocranial lesions. LA RADIOLOGIA MEDICA, vol. 74, pp. 34-38, ISSN:0033-8362

D. MUNDICI (1987). Satisfiability in many-valued sentential logic is NP-complete. THEORETICAL COMPUTER SCIENCE, vol. 52, pp. 145-153, ISSN:0304-3975 DOI

D. MUNDICI (1987). THE TURING COMPLEXITY OF AF C*-ALGEBRAS WITH LATTICE-ORDERED $K_{0}$. In: Egon Börger. Computation theory and logic, pp. 256-264 SPRINGER-VERLAG. DOI

D. MUNDICI (1987). A simple construction of Robinson equivalence relations. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 101, pp. 139-141, ISSN:0002-9939 DOI

D. MUNDICI (1986). Inverse topological systems and compactness in abstract model theory. THE JOURNAL OF SYMBOLIC LOGIC, vol. 51, pp. 785-794, ISSN:0022-4812 DOI

D.Mundici (1986). MV-algebras are categorically equivalent to bounded commutative BCK-algebras. MATHEMATICA JAPONICA, vol. 31, pp. 889-894, ISSN:0025-5513

D. MUNDICI (1986). Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. JOURNAL OF FUNCTIONAL ANALYSIS, vol. 65, pp. 15-63, ISSN:0022-1236 DOI

D. MUNDICI (1986). Mapping abelian l-groups with strong unit one-one into MV-algebras. JOURNAL OF ALGEBRA, vol. 98, pp. 76-81, ISSN:0021-8693 DOI

D. MUNDICI (1985). OTHER QUANTIFIERS: AN OVERVIEW. In: J. BARWISE AND S. FEFERMAN. MODEL-THEORETIC LOGICS, SPERSPECTIVES IN MATHEMATICAL LOGIC, SPRINGER NY, pp. 211-233, Berlin, New York: Springer-Verlag.

D. MUNDICI; J. MAKOWSKY (1985). Abstract Equivalence Relations. In: J.BARWISE; S.FEFERMAN EDS.. MODEL-THEORETIC LOGICS, PERSPECTIVES IN MATH.LOGIC, SPRINGER NY, pp. 717-746, NEW YORK, Berlin: Speringer-Verlag. DOI

D.Mundici (1985). Model-theoretic logics. In: C. Mangione. Scienza e Filosofia: Saggi in onore di Ludovico Geymonat, pp. 480-493, Milan, Italy: Garzanti.

D. MUNDICI (1984). Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity,. ANNALS OF PURE AND APPLIED LOGIC, vol. 27, pp. 265-273, ISSN:0168-0072 DOI

D. MUNDICI (1984). Embeddings, amalgamation and elementary equivalence: the representation of compact logics. FUNDAMENTA MATHEMATICAE, vol. 124, pp. 109-122, ISSN:0016-2736

D. MUNDICI (1984). A generalization of abstract model theory. FUNDAMENTA MATHEMATICAE, vol. 124, pp. 1-25, ISSN:0016-2736

D. Mundici (1984). Abstract model theory and nets of C*-algebras. In: Gert H. Müller, Michael M. Richter. Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 1: Models and Sets, pp. 351-377 Springer Verlag. DOI

D. MUNDICI (1983). A LOWER BOUND FOR THE COMPLEXITY OF CRAIG'S INTERPOLANTS IN SENTENTIAL LOGIC. ARCHIV FÜR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG, vol. 23, pp. 27-36, ISSN:0003-9268 DOI

D. MUNDICI (1983). Compactness = JEP in any logic,. FUNDAMENTA MATHEMATICAE, vol. 116, pp. 99-108, ISSN:0016-2736

D. MUNDICI (1983). NATURAL LIMITATIONS OF DECISION PROCEDURES FOR ARITHMETIC WITH BOUNDED QUANTIFIERS. ARCHIV FÜR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG, vol. 23, pp. 37-54, ISSN:0003-9268 DOI

D.Mundici (1983). Delta-tautologies, uniform and nonuniform upper bounds in computation theory. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. 75, pp. 99-101, ISSN:0392-7881 Accesso ONLINE all'editore

D.Mundici (1982). Complexity of Craig's interpolation. ANNALES SOCIETATIS MATHEMATICAE POLONAE. SERIES 4. FUNDAMENTA INFORMATICAE, vol. 5, pp. 261-278, ISSN:0324-8429

D.Mundici (1982). L-embedding, amalgamation and L-elementary equivalence. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. 72, pp. 312-314, ISSN:0392-7881 Accesso ONLINE all'editore

D. MUNDICI (1982). Duality between logics and equivalence relations. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 270, pp. 111-129, ISSN:0002-9947 DOI

D. MUNDICI (1982). INTERPOLATION, COMPACTNESS AND JEP IN SOFT MODEL THEORY. ARCHIV FÜR MATHEMATISCHE LOGIK UND GRUNDLAGENFORSCHUNG, vol. 22, pp. 61-67, ISSN:0003-9268 DOI

D. MUNDICI (1982). NP AND CRAIG'S INTERPOLATION THEOREM. In: PROCEEDINGS LOGIC COLLOQUIUM, 1982, NORTH HOLLAND, STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS, 1984, FIRENZE, pp. 345-358.

D. MUNDICI (1982). Compactness, interpolation and Friedman's third problem. ANNALS OF MATHEMATICAL LOGIC, vol. 22, pp. 197-211, ISSN:0003-4843 DOI

D. MUNDICI (1981). Ergodic undefinability in set theory and recursion theory. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 82, pp. 107-111, ISSN:0002-9939 DOI

D. MUNDICI (1981). An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem,. THE JOURNAL OF SYMBOLIC LOGIC, vol. 46, pp. 523-530, ISSN:0022-4812

D. MUNDICI (1981). IRREVERSIBILITY, UNCERTAINTY, RELATIVITY AND COMPUTER LIMITATIONS. NUOVO CIMENTO DELLA SOCIETÀ ITALIANA DI FISICA. B, vol. 61, pp. 297-305, ISSN:1124-187X DOI

D. Mundici (1981). Applications of many-sorted Robinson consistency theorem. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 27, pp. 181-188, ISSN:0044-3050 DOI

D.MUNDICI (1981). A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes. STUDIA LOGICA, vol. 40, pp. 253-267, ISSN:0039-3215 DOI

D.Mundici (1981). Craig's interpolation theorem in computation theory. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. 70, pp. 6-11, ISSN:0392-7881 Accesso ONLINE all'editore

D. MUNDICI (1981). ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORY. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 263, pp. 231-242, ISSN:0002-9947 DOI

D. Mundici (1980). Natural limitations of algorithmic procedures in logic. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. 69, pp. 101-105, ISSN:0392-7881 Accesso ONLINE all'editore

D.Mundici (1979). Robinson consistency theorem in soft model theory. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, vol. 67, pp. 383-386, ISSN:0392-7881 Accesso ONLINE all'editore