Daniele Mundici

• Curriculum vitae    (as of July 2011)
• Papers

·       Biographical Data

• Married to Maria Cecilia Frattin
• Father of Sara and Elena
• Italian citizen

·       Education

• 1965: Maturità, Liceo Classico "L. A. Muratori",  Modena
• 1970:  Laurea in Physics, University of Modena

·       Employment Record

• 1970-72: Assistant Lecturer in Physics, University of Asmara (Eritrea), Volontario di Servizio Civile (Civil Service Volunteer)
• 1973-77: Junior School Teacher in Scuola Media Statale M. Guerri, Reggello (Florence)
• 1978-82: High School Teacher in Liceo Scientifico Statale G. Castelnuovo, Florence
• 1983-87: Assistant Professor (Ricercatore) in the Department of Mathematics "Ulisse Dini", University of Florence
• October 1987-October 2002: Full Professor of Computer Science, Department of Computer Science, University of Milan
• November 2002-present: Full Professor of Mathematical Logic, Department of Mathematics "Ulisse Dini", University of Florence

·       Visiting

• Institute of Advanced Studies of the University of São Paulo (1991)
• Banach Center of Warsaw (1996)
• Humboldt University of Berlin (1989, 2000)
• Czech Academy of Sciences, Prague (several times)
• State University of Campinas, Brazil (several times)
• University of Buenos Aires (several times)
• University of La Plata  (2000, 2001)
• Institute for Catalan Studies, Barcelona (1997)
• Center for Machine Perception, Charles University of Prague (2003, 2008)
• Short visits in the Universities of: Amsterdam, Angers, Barcelona, Basel, Bern, Bielefeld (ZIF), Bratislava, Bruxelles, Cambridge, Dortmund, Freiburg i.Br., Haifa, Heidelberg, Karlsruhe, Linz, Malaga, Mexico City, Oxford, Paris, Pisa (Scuola Normale Superiore), Prague, Stanford, Utrecht, Vanderbilt (Nashville), Vienna, and many others

·       Academies

• International Academy of Philosophy of Science, Bruxelles, Member since 1995
• National Academy of Exact, Physical and Natural Sciences, Argentina, Corresponding Member since 2000

·       Honors and Awards

• Alfiere del Lavoro, Rome 1965, awarded by the President of the Italian Republic, (award based on Maturità examination results)
• President, Associazione Italiana di Logica e sue Applicazioni, AILA, 1993-1996
• President, Kurt Gödel Society, Vienna, 1993-1996
• Member ot the Scientific Committee of the Centro de Logica, Epistemologia e História da Ciência, State University of Campinas, Brazil, 1995-present
• Member ot the Scientific Council of the European Association for Computer Science Logic, EACSL, 1993-present
• Distinguished Visiting Professor in the University of Bahía Blanca, Argentina, 1999
• Member of the Advisory Board of the Centro de Algebra, University of Lisbon, 2003-present

·       Selected Administrative Positions

• Secretary of the Scientific Committee of the Group for Algebra and Geometry in the Istituto Nazionale Alta Matematica (National Institute of Advanced Mathematics) "Francesco Severi", (GNSAGA-INDAM), 1997-present
• Coordinator for the University of Florence of the IRSES Marie-Curie Project on "Mathematical Tools for the Management of Uncertain and Vague Information", (Acronym: MaToMUVI), 2011-2013.
• Coordinator (Florence-Siena Research Unit) of the National 2008 PRIN-COFIN Project on "Many-Valued Logic", Italian Ministry of Science and Technology, 2010-2012
• Coordinator (Florence-Milan Research Unit) of four National PRIN-COFIN Projects on "Many-Valued Logic", Italian Ministry of Science and Technology,1999-2006
• Vice-President,  European Community Action Cost 15 on "Many-valued Logics for Computer Science Applications",  1994-1999
• Member of the Standing Committee, Schools of the European Foundation on Logic, Language and Information, ESSLI, 1995-1998
• Coordinator of the Ph.D. program in Computer Science of the Department of Computer Science of the University of Milan, 1992-1999
• Italian Coordinator of the bilateral project with Austria on "Analytic Methods in Many-valued Logic", 1998-2001
• Italian Coordinator of the bilateral project of scientific and technological cooperation with Argentina on "Many-valued Logic", signed in Buenos Aires on December 12, 2001
• Italian Coordinator of the bilateral project 39 of scientific and technological cooperation with Argentina, signed in Buenos Aires, December 2004,  on "Information under Uncertain Conditions: from Foundations to Applications"

·       Editorial Boards

• Trends in Logic, Kluwer-Springer, Book Series Editor, 1995-present
• Advances in Applied Mathematics, Elsevier, Editor, 1995-2010
• Studia Logica, Springer, Managing Editor, 1993-present
• Journal of Algebra and its Applications, World Scientific, Editor, 2002-present
• Journal of Multiple-valued Logic and Soft Computing, OCP Publishers,  Editor, 2002-present
• Studies in Logic, Sun Yat-sen University (Guangzhou) and Chinese Association of Logic, 2008-present
• Journal of Logic, Language and Information, Kluwer, Editor, 1991-1999
• Annals of Pure and Applied Logic, North-Holland, Advisory Editor, 1990-1995
• International Schools for Computer Science Researchers, Oxford University Press, Book Series Editor, 1993-1997

·       Proceedings Editor

• (with G. Gottlob and A. Leitsch) Proceedings Goedel Symposium held in Brno, Lecture Notes in Computer Science, Vol. 713, 1993
• (with P. Miglioli, U. Moscato, M. Ornaghi) Theorem Proving with Analytic Tableaux: Proceedings of Tableaux 96 Conference, held in Palermo, Italy, in May 1996, Lecture Notes in Artificial Intelligence Vol. 1071, 1996
• L'insegnamento della Logica, (The Teaching of Logic), Jointly published by the Italian Society of Logic and its Applications, AILA, and Italian Ministry of Education, 1996
• (with J. Van Benthem, M. Dalla Chiara and K. Doets) Logic and Scientific Methods: Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Kluwer Academic Publishers, Synthese Library (1997) Vol. 259
• (with J. Van Benthem, M. Dalla Chiara and K. Doets) Structures and Norms in Science: Proceedings of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Kluwer Academic Publishers,  Synthese Library (1997) Vol. 260
• (with A. Marcja and M. Boffa) Proceedings AILA-KGS Meeting in Model Theory, Florence 1995, Annals of Pure and Applied Logic, vol 88, 1997
• (with G. Gottlob and A. Leitsch) Computational Logic and Proof Theory, Proceedings 5th Gödel Colloquium, Lecture Notes in Computer Science, Vol. 1289, 1997
• Many-valued logics, Special issue of Studia Logica, Vol. 61.1, 1998
• (with M. Dalla Chiara) Special issue of Studia Logica, in honor of Ettore Casari on his 65th birthday, Vol. 62.2, 1999
• Logics of Uncertainty, Special issue of Journal of Logic, Language and Information, Vol. 9, 2000
• (with S. Ghilardi) Constructivism in non-classical logics and computer science, Special issue of Studia Logica in memoriam Pierangelo Miglioli, Vol. 73.1, 2003
• (with F. Cicalese and U. Vaccaro) Combinatorics of Searching, Sorting and Coding, special issue of Discrete Applied Mathematics, Vol. 137.1, 2004
• (with Shier Ju) Many-valued logic and cognition, Studia Logica, Vol. 90.1, 2008
• (with E. Agazzi and I.M.L.D'Ottaviano) Proceedings of the CLE-AIPS event honoring Newton da Costa, Campinas, Sao Paulo Brazil, August 2009. Three books of proceedings are printed as special issues of Studia Logica Vol. 97.1,  Manuscrito,  and Principia

·       Invited Plenary Lectures (a selection)

• ASL European Logic Colloquium in Florence (1982), Padova (1988) and Keele, UK (1993)
• Oberwolfach meetings in Mathematics (various)
• Dagstuhl meetings in Computer Science (various)
• Latin-American Symposia in Mathematical Logic (various)
• Marseille-Luminy Rencontres in Mathematics (various)
• Easter Conferences in Model Theory, Berlin, (all 10 editions)
• Order in Algebra and Logic, Istituto Italiano per gli Studi Filosofici, Naples, Oxford, Galway, Marseille, Barcelona
• Computer Science Logic (various)
• Congress on Model Theory and Algebra, Dresda, Germany, 1995 (opening address)
• Congress on Geometry and Combinatorics, Varenna, Italy, 1995
• Brazilian Logic Conference, Salvador Bahia, Brazil, 1996
• International Symposium on Logic and Computer Science, Queretaro, Mexico, 1997
• IFSA Symposium, Bruxelles (1991) and Prague (1997)
• Springer-Verlag Forum on Soft Computing, Prague 1997
• Stanislav Jaskowski symposium, Torun, Poland, 1998 (opening address)
• Congress in memoriam Antonio Monteiro, Bahia Blanca, Argentina, 1999 (opening address)
• Grigore Moisil Symposium, Bucharest, 1999 (opening address)
• Festschrift in honor of Ettore Casari, Florence, 1999
• Congress In memoriam Gian-Carlo Rota, Maratea, Italy, 1999
• IFSA 2000, Liptowski Mikulas, Slovakia, 2000 (opening address)
• World Congress on Paraconsistency, in honor of Newton C.A.da Costa, Brazil, 2000.
• Workshop on Latticeordered groups and f-rings, Gainesville, Florida, USA, 2001
• IQSA Congress (International Quantum Structures Association), Cesena, Italy 2001
• XIV Coloquio Latinoamericano de Algebra, La Falda, Cordoba, Argentina, (closing address) 2001
• FSTA2002, Liptovsky Mikulas, Slovak Republic, 2002 (opening address)
• Learning and the art of fault-tolerant guesswork, ZIF, Bielefeld, Germany, 2002
• Chang's MV-algebras and abelian l-groups with unit: a fruitful interaction, Cambridge, UK 2002
• 32nd IEEE International Symposium for multiple-valued logic, Boston, Massachusetts, USA, 2002
• International Conference on Modern Algebra, honoring the 60th Birthday of Ralph McKenzie, Vanderbilt University, Nashville, Tennessee, USA 2002
• First Italian-American UMI-AMS meeting, Pisa, Italy, 2002
• Congress on Algebra and Substructural Logics, JAIST, Kanazawa, Japan, 2002 (opening address)
• Conference on Lattices, Universal Algebra and Algebraic Logic, Lisbon 2003
• Conference on 50 Years of Studia Logica, Roskilde University, Denmark, 2003
• ESSLI School on Logic, Language and Information, Vienna, 2003 (Invited Evening Lecture)
• Conference on Residuated Structures and many-valued Logics, Patras, June 2004
• Conference on The challenges of Semantics, Vienna, July 2004
• Conference on Algebra, logic and cybernetics, in honour of the 75-th anniversary of the birth of A.I. Kokorin. Irkutsk, Russia, August 2004
• Adaptive Coding and its Logic in the First Indian Conference on Logic and Applications, Mumbay, India, January 2005
• Conference in Ring Theory, March 2005, Athens, Ohio, USA
• Conference on Algebra and Applications, Vienna, May 2005
• The Logic of Soft Computing, Ostrava, October 2005
• Ordered structures 2006, Gainesville, Florida, USA, March 2006
• 7th International FLINS Conference on Applied Artificial Intelligence, FLINS06, Genoa, Italy, August 2006
• Studia Logica International Conference Towards Mathematical Philosophy, Trends in Logic IV, Torun, Poland, September 1-4, 2006
• Conference in honour A. Wronski, Krakow, November 4-8, 2006
• IX Congreso A. Monteiro, Bahia Blanca, Argentina, May 30-June 1, 2007
• Colloquium in honor of Antonio Aniceto Monteiro, Lisbon, Portugal, June 4-5, 2007 (closing address)
• Order, Algebra and Logics, Vanderbilt University, Nashville, Tennessee USA, June 12-16, 2007 (opening address)
• Studia Logica International Conference Trends in Logic V, Many-Valued Logic and Cognition Guangzhou, China, July 6 - 9, 2007 (opening address)
• Celebrations of the 30th anniversary of the CLE-UNICAMP, Campinas, SP, Brazil, September 2007
• 18th Congress of the Italian Mathematical Union, UMI, Bari, Italy, September 2007
• Ordered Algebraic Structures, Van\-der\-bilt Univ., Nashville, USA, March 2008
• Algebraic Logic and residuated structures, Institute for Advanced Mathematics, IAM, Buenos Aires, April 2008, opening address
• Nonclassical Logics and their Applications, Scuola Normale Superiore Pisa, Centro Ennio De Giorgi, April 2008
• The Paul Conrad legacy, Univ. of Florida, Gainesville, USA, May 2008
• Many-valued logic, University of Milan, Italy, May 2008
• Conference in honor Beppo Levi, Rome, Istituto Italo Latino Americano, June 2008
• Conference in honor Francesc Esteva, Univ. Autonoma Barcelona, November 2008
• 30th Linz Seminar, Linz University, February 2009.
• The digital footprint of Gian-Carlo Rota, Milan, February 2009
• Linz 30th Seminar, Linz, February 2009
• OAL Conference on Ordered Structures and Algebraic Logic, Vanderbilt, Nashville, TN, March 2009
• Probability and algebra in many-valued logics, Darmstadt, May 2009
• ORD/OAL, Celebrating Charles Holland, Bowling Green, OH, June 2009
• Tenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09, Verona, July 2009
• Campinas, SP, Brazil, Conference in honor Newton da Costa, August 2009 (Closing address)
• Beauty of Logic, honoring Petr Hàjek on his 70th birthday, Prague, February 2010 (Closing address) 
• Mathematical Colloquium, University of Barcelona, May 2010
• ISMVL 2010, Barcelona, May 2010
• Opening address in the conference MFCS-CSL, (Mathematical Foundation of Computer Science-Computer Science Logic), Brno, Czech Republic, August 2010
• Opening address in the Conference on Order in Algebra and Logic, OAL, Buenos Aires, October 2010
• Colloquia Patavina, University of Padua, April 2011
• Mathematical Colloquium, Department of Mathematics and Statistics, University of Bern, April 2011
• Second International Conference on Order, Algebra, and Logics: honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski,  Krakow,  June 2011
• Invited talk in the Mathematical Colloquium, Sante Fe, Argentina, August 2011
• Ordered groups and lattices in algebraic logic, Tbilisi, Georgia, September 2011

·       Selected Short Courses

• Abstract Model Theory, Siena, Italy, 1986
• AF C*-algebras, l-groups and MV-algebras, Paris VII, 1987
• Logic of adaptive Coding, Campinas, Brazil, 1988
• Complexity of Boolean Functions, Acireale, Italy, 1989
• Automated Deduction, Siena 1991
• Algebraic Logic, Mendoza, Argentina, 1994
• Algebraic Logic, Centre de Recerca Matematica, Barcelona, 1997
• Algebraic Foundations of many-valued Reasoning, Buenos Aires, 1998
• Algebraic Logic, Merida, Venezuela, 1998
• Nonboolean partitions, Crete, Greece, 1999
• An Invitation to many-valued Logic, Bahia Blanca, Argentina, 1999
• Many-valued logic: from coding theory to operator algebras, Third Panhellenic Logic Symposium, Anogia, Greece, 2001
• Combinatorial fans, lattice-groups and many-valued logic, 47th Séminaire Lotharingien de Combinatoire, Bertinoro, Italy, 2001
• Logic, Collegio Ghislieri, Pavia, 2001-2002
• The logic of imprecisely defined functions, International School on Neural Nets, 5th Course, Ettore Majorana Foundation, Erice, Italy, 2002
• Many-Valued Logic, Mumbay, India, January 2005, during the First International Conference on Logic and its Applications
• MV-algebras, Sorrento, Naples, May 2006 (Symposium on Ordered Structures in Many-valued Logic)
• Recent results in many-valued logic, Bahia Blanca, Argentina, 2007
• An introduction to many-valued logic, Guangzhou, Cina, 2007
• Logic and Polyhedra, Campinas, Brazil, September 2007

·       Referee for

• Various American and European Universities, for promotion and tenure
• Various international publishers, for books in logic and computer science
• Landau Network-Centro Volta, Villa Olmo, Como, Italy
• International Association for the Promotion of Co-operation with Scientists from the New Independent States of the former Soviet Union, INTAS, Brussels, Belgium (1999-2002)
• Third World Academy of Sciences, TWAS, Trieste, Italy (1995-2000)
• Various International Committees and Agencies for the evaluation of research projects

·       Selected Scientific Committees

• Logic Colloquium, Padova, Italy, 1988, Program Committee member
• Mathematical Foundations of Computer Science, MFCS 1990, Banska Bystrica, Slovakia, 1990, Program Committee member
• International School for Computer Science Researchers, Acireale, Italy, Director of the first (1989) and of the third (1991) School
• Fourth European Summer School in Language Logic and Information, Essex, UK, 1992, Coordinator of the Area of Computation
• International Seminars of the Johannes Kepler University of Linz, Austria, since 1992
• Goedel Colloquium, held in Brno, Czech Republic, 1993, Program Committee member
• International Congress for the 60th Birthday of Roberto Magari, Siena, Italy, 1994, Chairman of the Program Committee
• Order in Algebra and Logic V, Oxford, 1995, Chairman of Program Committee
• Second World Conference on the Fundamentals of Artificial Intelligence, Paris, 1995, Program Committee member
• ASL Logic Colloquium, Haifa, Israel, 1995, Program Committee member
• International IUHPS Symposium in Logic, Methodology and Philosophy of Science, Florence 1995, Member of the General Program Committee
• AILA-KGS Meeting on Model Theory, Florence 1995, Chairman of the Scientific Committee
• Goedel Colloquium, Brno, 1996, Chairman of the Scientific Committee
• Theorem Proving with Analytic Tableaux, Palermo, Italy, 1996, Program Committee member
• Order in Algebra and Logic VI, in honor of Giuseppe Tallini, Galway, Ireland, 1996, Chairman of the Program Committee
• Computational logic and proof theory, Goedel Colloquium, Vienna, 1997, Chairman of the Scientific Committee
• Order in Algebra and Logic VII, CIRM Marseille-Luminy, France, during April 1997, Chairman of Program Committee
• Meeting on Multiple-valued logic, Dagstuhl, Germany, October 1997, Organizer
• 4th Barcelona Logic Meeting, February 1998, Program Committee member
• National School of the Italian Ph D programs in Computer Science, Bertinoro, Bologna, Italy, May, 1998, Director of the School
• Eleventh Latin American Symposium on Mathematical Logic, Merida, Venezuela, 1998, Program Committee member
• 6th European Workshop on Logics in AI, JELIA'98, Dagstuhl, Germany, 1998, Program Committee member
• Logic Colloquium, Prague, 1998, Program Committee member, Chairman of a Special Session on Many-valued and Fuzzy Logic
• Workshop on Logic and Physics of Commputation, Ettore Majorana Centre for Physics, Erice, Italy, Director, 1999
• Constructivism in non-classical logic and computer science, (in memoriam Pierangelo Miglioli) Mantua, Italy, 2000, Program Committee member
• COSSAC, Combinatorics of Searching, Sorting and Coding, Ischia, Italy, 2001, Program Committee member.
• The Logic of Soft Computing, Gargnano, Brescia, Italy, 2001, Chairman of the Program Committee
• SOFSEM, Prague, 2000-2001-2002, Program Committee member.
• Logic, Methodology and Philosophy of Science, Oviedo 2003, member of the committee on Philosophical Logic
• First Florence-Vienna Workshop on Logic and Computation, Florence January 2004, Chairman of the program committee
• General Theory of Information Transfer, ZIF, Bielefeld, April 2004, co-organizer
• Beauty of Logic, Celebrating Petr Hajek's 65th birthday, Prague, February 2005, Chairman of the Program Committee
• Second Vienna-Florence meeting in Logic and Computation, Florence, November 2005, Chairman of the Program Committee
• Gödel Prize for Young Scholars, Vienna, April 2006, Member of the Selection Committee
• Residuated structures: algebra and logic, Buenos Aires, April 2008, Member of the Program Committee
• CLE-AIPS Event in honor Newton da Costa, UNICAMP Campinas, SP, Brazil, August 2009, co-chair of the Program Committee
• Conference on Rationality, Probability and Logic, Pontignano and Pisa, Scuola Normale Superiore, November 2009, Member of the Program Committee
• Logic, Algebra and Truth Degrees 2010, Prague, September 2010, Member of the Program Committee
• Algebraic Semantics for Uncertainty and Vagueness, Salerno, May 2011, Member of the Program Committee
• Ordered groups and lattices in algebraic logic, Tbilisi, Georgia, September 2011,  Member of the Program Committee.

·       Ph D Thesis Advisor

• Stefano Aguzzoli, Proof-theory in many-valued logic
• Danilo Bruschi, Separation techniques for complexity classes
• Agata Ciabattoni, Proof-theory in many-valued logics
• Ferdinando Cicalese, Coding with feedback
• Ernesto Damiani, Algebraic techniques in space decomposition
• Brunella Gerla, Many-valued logics of continuous t-norms
• Reiner Hähnle, Automated deduction in multiple-valued logics
• Corrado Manara, Non-boolean partitions and interpretable control systems
• Vincenzo Marra, Many-valued partitions and l-groups
• Nicola Olivetti, Algorithmic proof-theory for nonclassical logic
• Giovanni Panti, Many valued logic and its applications

·       Publications

• 4 books authored
• 7 books edited
• 8 special issues edited
• over 145 articles published

·       Scientific Papers

1. Robinson consistency theorem in soft model theory, Rendiconti Accademia Lincei Mat. Appl.,  67 (1979)   383-386.
2. Natural limitations of algorithmic procedures in logic, Rendiconti Accademia Lincei Mat. Appl.,  69 (1980)   101-105.
3. Ergodic undefinability in set theory and recursion theory, Proc. Amer. Math. Soc., 82 (1981)   107-111.
4. Robinson's consistency theorem in soft model theory, Trans. Amer. Math. Soc., 263 (1981)   231-241.
5. Irreversibility, uncertainty, relativity and computer limitations, Il Nuovo Cimento, Europhysics J., 61 B, n. 2 (1981)   297-305.
6. Applications of many-sorted Robinson consistency theorem, Zeit.math.Logik, 27 (1981)   181-188.
7. A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes, Studia Logica, 40 (1981)   253-267.
8. An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, J. Symbolic Logic, 46 (1981)   523-530.
9. Craig's interpolation theorem in computation theory, Rendiconti Accademia Lincei Mat. Appl., 70 (1981)   6-11.
10. Duality between logics and equivalence relations, Trans.Amer.Math.Soc., 270 (1982)   111-129.
11. Compactness, interpolation and Friedman's third problem, Annals of Mathematical Logic, 22 (1982)   197-211.
12. Interpolation, compactness and JEP in soft model theory, Archiv math. Logik, 22 (1982)   61-67.
13. Complexity of Craig's interpolation, Fundamenta Informaticae, 5 (1982)   261-278.
14. L-embedding, amalgamation and L-elementary equivalence,  Rendiconti Accademia Lincei Mat. Appl., 72 (1982)   312-314.
15. Compactness = JEP in any logic, Fundamenta Mathematicae, 116 (1983)   99-108.
16. A lower bound for the complexity of Craig's interpolants in sentential logic, Archiv math.Logik, 23 (1983)   27-36.
17. Natural limitations of decision procedures for arithmetic with bounded quantifiers, Archiv math.Logik, 23 (1983)   37-54.
18. ∆-tautologies, uniform and nonuniform upper bounds in computation theory, Rendiconti Accademia Lincei Mat. Appl., 75 (1983)   99-101.
19. Abstract model theory and nets of C*-algebras: noncommutative interpolation and preservation properties, Lecture Notes in Math., 1103 (1984)   351-377.
20. A generalization of abstract model theory, Fundamenta Mathematicae, 124 (1984)   1-25.
21. Embeddings, amalgamation and elementary equivalence: the representation of compact logics, Fundamenta Mathematicae, 124 (1984)   109-122.
22. NP and Craig's interpolation theorem, In: Proceedings Logic Colloquium '82, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, (1984),   345-358.
23. Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity, Annals of Pure and Applied Logic, 27 (1984)   265-273.
24. Model-theoretic logics, AF C*-algebras and many-valued calculi, In: Scienza e Filosofia, Saggi in Onore di Ludovico Geymonat, Garzanti, Milano, (1985),   480-493.
25. Other Quantifiers: an Overview, Chapter VI In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985),   211-233.
26. (with J.A.Makowsky) Abstract Equivalence Relations, Chapter XIX In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985),   717-746.
27. Algebraic many-valued logic and models of physical systems, In: Atti del Congresso Logica e Filosofia della Scienza, oggi,  Vol. 1, CLUEB, Bologna, (1986),   83-93.
28. MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math.Japonica, 31 (1986)   889-894.
29. Inverse topological systems and compactness in abstract model theory, J. Symbolic Logic, 51 (1986)   785-794.
30. Mapping abelian l-groups with strong unit one-one into MV-algebras, J. Algebra, 98 (1986)   76-81.
31. Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Functional Analysis, 65 (1986)   15-63.
32. Bounded commutative BCK-algebras have the amalgamation property, Math. Japonica, 32 (1987) 279-282.
33. Every abelian l-group with two positive generators is ultrasimplicial, J. Algebra, 105 (1987)   236-241.
34. (with F. Ammannati, P. Mennonna, R. De Dominicis, G. Dal Pozzo, C. Fonda, G. Pazzaglini, B. Lehmann), CT-guided stereotactic biopsy of endocranial lesions, La Radiologia Medica, 74 (1987)   34-38.
35. A simple construction of Robinson equivalence relations, Proc. Amer. Math. Soc., 101 (1987)   139-141.
36. The Turing complexity of AF C*-algebras with lattice-ordered K₀, Lecture Notes in Computer Science, 270 (1987)   256-264.
37. Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987)   145-153.
38. The derivative of truth in Łukasiewicz sentential calculus, In: Proc. VII Latin American Symp. on Math. Logic, Contemporary Mathematics, Vol. 69 (1988)   209-227.
39. Free products in the category of abelian l-groups with strong unit, J. Algebra, 113 (1988)   89-109.
40. Farey stellar subdivisions, ultrasimplicial groups, and K₀ of AF C*-algebras, Advances in Math., 68 (1988)   23-39.
41. (with J. Czyzowicz and A. Pelc), Solution of Ulam's problem on binary search with two lies, J.Combinatorial Theory, Series A, 49 (1988)   384-388.
42. Polynomial time complexity of certain AF C*-algebras, In: Atti del Congresso: Temi e prospettive della logica e della filosofia della scienza contemporanee, Vol. 1, CLUEB, Bologna, (1988),   151-158.
43. Functions computed by monotone Boolean formulas with no repeated variables, Theoretical Computer Science, 66 (1989)   113-114.
44. The C*-algebras of three-valued logic, In: Proceedings Logic Colloquium 1988,   R. Ferro, C. Bonotto, S. Valentini, A. Zanardo, (Eds.),   Studies in Logic and the Foundations of Mathematics,  Amsterdam: North-Holland,  (1989),   61-77.
45. (with J. Czyzowicz and A. Pelc), Ulam's searching game with lies, J. Combinatorial Theory, Series A, 52 (1989)   62-76.
46. Reducibility of monotone formulas to µ-formulas, Lecture Notes in Computer Science, 440 (1990)   267-270.
47. Approximately finite-dimensional C*-algebras, abelian l-groups, and Łukasiewicz infinite-valued logic, Publications Mathematiques de l'Université Paris VII, Seminar on Ordered Algebraic Structures, Vol. 2, (1990)  99-115.
48. Algebras of Ulam's games with lies, In: Proceedings International Congress of the Italian Society for Logic and Philosophy of Science,  SILFS, Vol. 2, CLUEB, Bologna, (1991),   151-162.
49. The complexity of adaptive error-correcting codes, Lecture Notes in Computer Science, 533 (1991)   300-307.
50. Solution of Rota's problem on the order of series-parallel networks, Advances in Applied Mathematics, 12 (1991)   455-463.
51. Logic and algebra in Ulam's searching game with lies, Yearbook of the Gödel Society, (1991)   109-114.
52. Turing complexity of Behncke-Leptin C*-algebras with a two-point dual, Annals of Mathematics and Artificial Intelligence, 6 (1992)   287-294.
53. The logic of Ulam's game with lies, In: Knowledge, Belief and Strategic Interaction, Cambridge Studies in Probability, Induction, and Decision Theory, 1992,   275-284.
54. Normal forms in infinite-valued logic: the case of one variable, Lecture Notes in Computer Science, 626 (1992)   272-277.
55. Ulam's games, Łukasiewicz logic, and AF C*-algebras, Fundamenta Informaticae, 18 (1993)   151-161.
56. (with G.A. Elliott) A characterization of lattice-ordered abelian groups, Mathematische Zeitschrift, 213 (1993)   179-185.
57. (with G. Panti) Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993)   461-471.
58. (with G.A. Elliott and R. Cignoli) Reconstructing C*-algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993)   166-179.
59. Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993)   1941-1955.
60. K₀,   relative dimension and the C*-algebras of Post logic, In: IX Latin American Symposium on Mathematical Logic, Bahia Blanca, Notas de Logica Matematica, v. 38,  part I,   (1994)   83-92.
61. A constructive proof of McNaughton's theorem, Journal of Symbolic Logic, 59 (1994)   596-602.
62. (with S.Aguzzoli), An algorithmic desingularization of 3-dimensional toric varieties, Tohoku Math. Journal, 46 (1994)   557-572.
63. (with R. Cignoli and I.M.L. D'Ottaviano), Algebras of Łukasiewicz Logics, (in Portuguese), Collection CLE, Vol. 12, State University of Campinas, Campinas, San Paulo, Brazil, (1994), Second edition, 1995.
64. (with M. Pasquetto) A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. In: Non-classical Logics and their Applications,  Höhle, U., Klement, E.P.K. (Eds). Dordrecht: Kluwer Academic Publishers, (1995),   107-123.
65. (with W. Sieg), Paper Machines, Philosophia Mathematica, (3) 3 (1995)   5-30.
66. Averaging the truth value in Łukasiewicz sentential logic. Special issue in honor of Helena Rasiowa. Studia Logica, 55 (1995)   113-127.
67. Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W.Hodges et al., Eds., Oxford University Press, (1996),   401-423.
68. Uncertainty measures in MV algebras, and states of AF C*-algebras, Special issue in memoriam Rolando Chuaqui, Notas de la Sociedad de Matematicas de Chile, 15 (1996),   42-54.
69. (with C.Cifuentes and A.Sette), Cauchy Completeness in elementary logic, Journal of Symbolic Logic, 61.4 (1996),   1153-1157.
70. (with R. Cignoli) An elementary proof of Chang's completeness theorem. Special issue on the Mathematical Treatment of Uncertainty, Studia Logica, 58 (1997)   79-97.
71. Gödel incompleteness and quantum thermodynamic limits, In: Philosophy of Mathematics Today,  Kluwer Academic Publishers, (1997),   287-298.
72. (with W. Sieg),   Computability.   Routledge Encyclopedia.
73. (with R. Cignoli), An invitation to Chang's MV-algebras, In: Advances in Algebra and Model Theory, M. Droste, R. Goebel, Eds., Gordon and Breach Publishing Group, Reading, UK, (1997),   171-197.
74. (with A. Trombetta), Optimal comparison strategies in Ulam's searching game with two errors, Theoretical Computer Science, 182 (1997)   217-232.
75. Nonboolean partitions and their logic. (First Springer Forum on Soft Computing),  Soft Computing, 2 (1998) 18-22.
76. (with N. Olivetti), Resolution and model building in the infinite-valued calculus of Łukasiewicz, Theoretical Computer Science, 200 (1998)   335-366.
77. (with R. Cignoli) An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit, Studia Logica, 61 (1998)  49-64.
78. (with G. Panti) Twenty questions with many-valued answers, In: Models, algebras, and proofs, Selected papers of the Xth Latin American Symposium on Mathematical Logic, X. Caicedo, C.H. Montenegro, Eds. Marcel Dekker, Inc., New York, Basel, (1999),   295-313.
79. Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999)  227-248.
80. (with G. Panti) A constructive proof that every 3-generated l-group is ultrasimplicial, Banach Center Publications, Vol. 46 (1999)  169-178.
81. Classes of ultrasimplicial lattice-ordered abelian groups, Journal of Algebra, 213 (1999)  596-603.
82. (with F. Cicalese) Optimal binary search with two unreliable tests and minimum adaptiveness, In: Proc. European Symposium on Algorithms, ESA `99, J. Nesetril, Ed., Lecture Notes in Computer Science, 1643 (1999)  257-266.
83. Ulam game, the logic of Maxsat, and many-valued partitions, In:  Fuzzy Sets, Logics and Reasoning about Knowledge, D. Dubois, H. Prade, E.P.Klement, Eds., Kluwer Academic Publishers, (1999),  121-137.
84. (with J.Gispert and A. Torrens) Ultraproducts of  Z with an application to many-valued logics, Journal of Algebra, 219 (1999)   214-233.
85. Foreword: Logics of Uncertainty, Journal of Logic, Language and Information, 9 (2000)  1-3.
86. (with R. Cignoli and I.M.L.D'Ottaviano),   Algebraic Foundations of many-valued Reasoning,   Trends in Logic, Vol. 7, Kluwer Academic Publishers, Dordrecht, (2000).
87. (with F. Cicalese), Perfect two fault-tolerant search with minimum adaptiveness, Advances in Applied Mathematics, 25 (2000)  65-101.
88. (with F. Cicalese and U.Vaccaro), Least adaptive optimal search with unreliable tests, Proceedings SWAT2000, Lecture Notes in Computer Science, 1851 (2000)  549-562.
89. Reasoning on imprecisely defined functions, In: Discovering the World with Fuzzy Logic, V.Novak, I.Perfilieva, Eds., Studies in Fuzziness and Soft Computing, Vol. 57, Physica-Verlag, Springer, (2000)  331-366.
90. (with F. Cicalese), Optimal coding with one asymmetric error: below the sphere packing bound, In: Proceedings COCOON2000, Lecture Notes in Computer Science, 1858 (2000)  159-169.
91. (with C.Drossos), Many-valued points and equality, Special issue in honor Newton C.A.da Costa, Synthese, 125 (2000)  97-101.
92. (with S.Aguzzoli), Weierstrass approximations by Łukasiewicz formulas with one quantified variable, In: Proceedings 31st IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2001), 361-366.
93. (with R. Cignoli), Partial isomorphisms on totally ordered abelian groups and Hajek's completeness theorem for basic logic, Multiple valued Logic, special issue dedicated to the memory of Grigore Moisil, Vol. 6 (2001) 89-94.
94. (with F. Cicalese and U. Vaccaro), Rota-Metropolis cubic logic and Ulam-Rényi games, In: Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota, (H. Crapo, D. Senato, Eds.), Springer-Italia, Milan, (2001), 197-244.
95. (with G.Panti), Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001)   269-278.
96. Fault-tolerance and Rota-Metropolis cubic logic, In: Paraconsistency,   Chapter 19, W. Carnielli et al., Eds., Marcell Dekker, Inc., (2002), 397-409.
97. (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests. Theoretical Computer Science, 270, (2002) 877-893.
98. (with B. Riecan) Probability on MV-algebras, In: Handbook of Measure Theory, E. Pap, Ed., North-Holland, Amsterdam, (2002),   869-909.
99. (with V. Marra,) Combinatorial fans, l-groups and their neighbours, a short excursion. Semin. Lothar. de Combinatoire, 47: Article B47f, (2002), an electronic journal.
100. (with V. Marra,) MV-algebras and abelian l-groups: a fruitful interaction, In: Ordered Algebraic Structures, honoring Paul Conrad for his 80th Birthday, J.Martinez, Ed., Kluwer, (2002),   57-88.
101. (with V. Marra,) Consequence and complexity in infinite-valued logic: a survey, In: Proceedings  32nd  IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2002), Boston,   104-114.
102. If-then-else and rule extraction from two sets of rules, In: From Synapses to Rules, Proceedings of an International Workshop held at the Center for Physics "E. Majorana", Erice, Italy. B. Apolloni et al., Eds., Kluwer/Plenum, NY, (2002),   87-108.
103. (with F. Cicalese,) Learning and the art of fault-tolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning. Stamatescu, I. et al., Eds., Springer, (2003),   117-143.
104. (with S. Aguzzoli,) Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable, In: Beyond Two: Theory and applications of multiple-valued logic, E. Orlowska, M. Fitting, Eds., Physica-Verlag, Springer, Heidelberg, NY, (2003),   315-335.
105. (with V.Marra), Łukasiewicz logic and Chang's MV algebras in action, In: 50 Years of Studia Logica, Trends in Logic, Vol. 21. V.Hendricks, J.Malinowski,  Eds., Kluwer, Dordrecht, (2003),  145-192.
106. (with A.De Simone and M.Navara), A Cantor-Bernstein theorem for sigma-complete MV-algebras, Czechoslovak Math.J, 53 (128), (2003), 437-447.
107. (with R. Cignoli and E.Dubuc), An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism, Tatra Mountains Math. Publications. Special issue in honour Prof. J.Jakubik on his 80th birthday, Vol. 27, (2003),  23-43.
108. Simple Bratteli diagrams with a Goedel incomplete isomorphism problem, Transactions of the American Math. Soc., 356 (2004) 1937-1955.
109. (with R. Cignoli and E.Dubuc), Extending Stone duality to multisets, Journal of Pure and Applied Algebra, 189 (2004) 37-59
110. (with F. Cicalese, C. Deppe,) Q-ary Ulam-Rényi  game with weighted constrained lies, In:  Proceedings COCOON 2004,   Lecture Notes in Computer Science, 3106 (2004) 82-91.
111. (with J. Gispert) MV-algebras: a variety for magnitudes with archimedean units, Algebra Universalis, Special Issue in memoriam Wim Blok, 53.1 (2005) 7 - 43.
112. Decidability and Gödel incompleteness in AF C*-algebras,   Manuscrito, Rev. Int. Fil., Special Issue in honour I.M.L.D'Ottaviano on her 60th birthday, Vol. 28 (2005) 547-588.
113. A Characterization of the free n-generated MV-algebra, Archive for Mathematical Logic, 45 (2006) 239-247.
114. (with R. Cignoli, and M.Navara), Kleene-isomorphic sigma-complete MV-algebras with product are isomorphic, Multiple valued logics and soft computing, Special issue in memoriam H. Thiele, 12.1 (2006) 1-8.
115. (with R. Cignoli), Stone duality for Dedekind sigma-complete l-groups with order-unit, Journal of Algebra, 302 (2006) 848-861.
116. Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006) 223-240.
117. (with V. Marra), Riemann average truth-value of Łukasiewicz formulas, Special Issue in honour B. Riecan for his 70th birthday. Math. Slovaca, 56 (2006) 511-524.
118. Representation of sigma-complete MV-algebras and their associated Dedekind sigma-complete l-groups, Contemporary Mathematics, AMS, Vol. 419, Oxford University Press,  (2006)  219-230.
119. Revisiting the free two-generator lattice-ordered abelian group, Journal of Pure and Applied Algebra, 208 (2007) 549-554.
120. (with C. Manara and V. Marra), Lattice-ordered Abelian groups and Schauder bases of unimodular fans, Transactions of the American Mathematical Society, 359 (2007) 1593-1604.
121. (with V. Marra, and A.M.W. Glass), Embedding in finitely presented lattice-ordered groups, In: Groups St. Andrews 2005, London Mathematical Society Lecture Notes Series, Vol. 340, Cambridge University Press,  (2007)  438-444.
122. (with M. Busaniche), Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007) 1-22.
123. Free generating sets of lattice-ordered abelian groups, Journal of Pure and Applied Algebra, 211 (2007) 400-403.
124. (with V. Marra), The Lebesgue state of a unital abelian l-group, Journal of Group Theory, 10 (2007) 655-684.
125. (with J. Kühr), De Finetti theorem and Borel states in [0,1]-valued algebraic logic, International Journal of Approximate Reasoning, 46 (2007) 605-616.
126. La logica dei poliedri, Bollettino Unione Matematica Italiana, special issue with the plenary invited talks in the UMI 18th Congress held in Bari, Italy, September 2007, IX, Vol. I, No. 2 (2008) 455-474.
127. Geometry of filters in free MV-algebras, Boletim da Sociedade Portuguesa de Matematica, Special issue for the Proceedings of the Conference in honor A. A. Monteiro, (2008) 275-286.
128. Łukasiewicz logic and De Finetti coherence criterion: recent developments, Studies in Logic, Chinese Association of Logic, 1.2 (2008) 1-16.
129. Faithful and invariant conditional probability in Łukasiewicz logic. In: D. Makinson, J. Malinowski and H. Wansing (Eds.), Proceedings of the conference Trends in Logic IV, Torun, Poland, 2006, (Trends in Logic, Vol. 28). Springer, New York, (2008)  213-232.
130. (with C. Tsinakis), Gödel incompleteness in AF C*-algebras, Forum Mathematicum, 20.6 (2008) 1071-1084.
131. The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008) 537-549.
132. Rota, probability, algebra and logic, In: From Combinatorics to Philosophy, E. Damiani et al., (Eds.), Springer, New York,   (2009)   167-181.
133. Recognizing the Farey-Stern-Brocot AF algebra, Rendiconti Lincei Mat. Appl.,  20 (2009) 327-338.
134. Conditionals and independence in many-valued logics, In: Proceedings 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09. C. Sossai and G. Chemello (Eds.), Lecture Notes in Artificial Intelligence, 5590 (2009) 16-21.
135. Interpretation of de Finetti coherence criterion in Łukasiewicz logic, Annals of Pure and Applied Logic, 161 (2009) 235-245.
136. (with L. Cabrer), Projective MV-algebras and rational polyhedra, Algebra Universalis, special issue in memoriam Paul Conrad, (J.Martinez et al., Eds.), 62 (2009) 63-74.
137. From BL to MV, In: Witnessed Years. Essays in Honour Petr Hàjek, (P.Cintula et al., Eds.), College Publications, King's College, London, (2010),   273-286.
138. (with J. Kühr), From free abelian groups to free abelian l-groups, Mathematica Slovaca, special issue honoring Charles Holland on his 75th birthday, 61(3) (2011) 1-12.
139. A compact [0,1]-valued first-order Łukasiewicz logic with identity on Hilbert space, J. Logic and Computation, 21(3) (2011) 509-525.
140. (with F. Cicalese), Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic, In: Proof, Computation and Agency, Synthese Library, Vol. 352, Part 3, 2011,   115-131.
141. Logica: Metodo Breve, (Logic: a Brief Course), Springer-Italia,  Milan  (2011).
142. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, Vol. 35 Springer, New York, (2011).
143. (with M.Busaniche and L. Cabrer), Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups, Forum Mathematicum, doi: 10.1515/FORM.2011.059
144. (with L.Cabrer), Finitely presented lattice-ordered abelian groups with order-unit,   Journal of Algebra, doi: 10.1016/j.jalgebra.2011.07.007
145. Finite axiomatizability in Łukasiewicz logic, Annals of Pure and Applied Logic, doi: 10.1016/j.apal.2011.06.026
146. (with L.Cabrer), Rational polyhedra and projective lattice-ordered abelian groups with order unit, Communications in Contemporary Mathematics, to appear.
147. Revisiting the Farey AF algebra, Milan Journal of Mathematics, to appear.