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://web.math.unifi.it/users/mundici/

Daniele MUNDICI

Orario di ricevimento (aggiornato al 16/04/2014)

Mercoledi' e venerdi' 10.35--11.35

Daniele MUNDICI

Biografia

http://web.math.unifi.it/users/mundici/

Daniele MUNDICI

Curriculum

http://web.math.unifi.it/users/mundici/

Daniele MUNDICI

Interessi

vedi curriculum

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

Cabrer, Leonardo Manuel; Mundici, Daniele (2016). Germinal theories in Łukasiewicz logic. ANNALS OF PURE AND APPLIED LOGIC, pp. 1-20, ISSN:0168-0072 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

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

Mundici, Daniele (2016). Coherence of de Finetti coherence. SYNTHESE, pp. 1-9, ISSN:0039-7857 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

DANIELE MUNDICI (2014). Invariant Measure Under the Affine Group Over. COMBINATORICS PROBABILITY & COMPUTING, vol. 23, pp. 248-268, ISSN:0963-5483 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

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

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

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

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

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

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

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

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; 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 (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). Consequence and interpolation in Łukasiewicz logic. STUDIA LOGICA, vol. 99, pp. 269-278, ISSN:0039-3215 Accesso ONLINE all'editore

D.Mundici (2011). Logica:Metodo Breve. Milano: Springer-Verlag, ISBN:9788847018846 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; 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 (2011). Finite axiomatizability in Łukasiewicz logic. ANNALS OF PURE AND APPLIED LOGIC, vol. 162, pp. 1035-1047, ISSN:0168-0072 DOI

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 (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.

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). 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 (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). 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 (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 (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; C. TSINAKIS (2008). Goedel incompleteness in AF C*-algebras. FORUM MATHEMATICUM, vol. 20, pp. 1071-1084, ISSN:0933-7741 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; 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; 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; 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; 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 (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; 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). 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; 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 (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; 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 (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; V.Marra (2006). Riemann average truth-value of Lukasiewicz formulas. MATHEMATICA SLOVACA, vol. 56, pp. 511-524, ISSN:0139-9918

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 (2005). Decidability and Goedel incompleteness in AF C*-algebras. MANUSCRITO, vol. 28, pp. 547-588, ISSN:0100-6045

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 (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; 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; 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; 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; 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; 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 (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; 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; 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 (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 (2002). FAULT-TOLERANCE AND ROTA-METROPOLIS CUBIC LOGIC. In: PARACONSISTENCY, W.CARNIELLI ED., MARCELL DEKKER, INC, pp. 397-409.

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; RIECAN B. (2002). Probability on MV-algebras. In: E.PAP. Handbook of Measure Theory, Vol.II, pp. 869-909, AMSTERDAM: North-Holland.

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; 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; 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; 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; 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; R. CIGNOLI; I. D'OTTAVIANO (2000). Algebraic Foundations of Many-valued Reasoning. DORDRECHT, NL: KLUWER ACADEMIC PUBLISHERS 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 (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; 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 (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; 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 (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 (1999). CLASSES OF ULTRASIMPLICIAL LATTICE-ORDERED ABELIAN GROUPS. JOURNAL OF ALGEBRA, vol. 213, pp. 596-603, ISSN:0021-8693 DOI

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; 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; 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; 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; 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; 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; 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 (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; 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; 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; R.Cignoli; I. D'Ottaviano (1994). Algebras da Logica de Lukasiewicz. Campinas, SP, Brazil: UNICAMP (State Univ. of Campinas, SP, Brazil)

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; 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; 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; G. ELLIOTT (1993). A characterization of lattice-ordered abelian groups. MATHEMATISCHE ZEITSCHRIFT, vol. 213, pp. 179-185, ISSN:0025-5874 DOI

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

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). 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 (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 (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). 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 (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). 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 (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; 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). Functions computed by monotone Boolean formulas with no repeated variables. THEORETICAL COMPUTER SCIENCE, vol. 66, pp. 113-114, ISSN:0304-3975 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; 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 (1988). THE DERIVATIVE OF TRUTH IN LUKASIEWICZ SENTENTIAL CALCULUS,. In: PROC. VII LATIN AMERICAN SYMP. ON MATH. LOGIC, pp. 209-227.

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; 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). 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). Every abelian l-group with two positive generators is ultrasimplicial. JOURNAL OF ALGEBRA, vol. 105, pp. 236-241, ISSN:0021-8693 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 (1987). Bounded commutative BCK-algebras have the amalgamation property. MATHEMATICA JAPONICA, vol. 32, pp. 279-282, ISSN:0025-5513

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). Model-theoretic logics. In: C. Mangione. Scienza e Filosofia: Saggi in onore di Ludovico Geymonat, pp. 480-493, Milan, Italy: Garzanti.

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). 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 (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). 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 (1984). Embeddings, amalgamation and elementary equivalence: the representation of compact logics. FUNDAMENTA MATHEMATICAE, vol. 124, pp. 109-122, ISSN:0016-2736

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). 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 (1983). Compactness = JEP in any logic,. FUNDAMENTA MATHEMATICAE, vol. 116, pp. 99-108, ISSN:0016-2736

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). 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). 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). Duality between logics and equivalence relations. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 270, pp. 111-129, ISSN:0002-9947 DOI

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 (1982). Complexity of Craig's interpolation. ANNALES SOCIETATIS MATHEMATICAE POLONAE. SERIES 4. FUNDAMENTA INFORMATICAE, vol. 5, pp. 261-278, ISSN:0324-8429

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 (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). 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). 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). 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 (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

Daniele MUNDICI

Insegnamenti relativi all'Anno Accademico

- - -

Daniele MUNDICI

Biography

http://web.math.unifi.it/users/mundici/

Daniele MUNDICI

Curriculum

http://web.math.unifi.it/users/mundici/

Daniele MUNDICI

Interest

see curriculum

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Insegnamenti relativi all'Anno Accademico 2015-2016 2014-2015 2013-2014 2012-2013 2011-2012 2010-2011 2009-2010 2008-2009 2007-2008

Daniele MUNDICI

Daniele MUNDICI

Daniele MUNDICI

Insegnamenti relativi all'Anno Accademico