Daniele Mundici
Department of Mathematics and Computer Science "Ulisse Dini",
University of Florence
Viale Morgagni 67/A,
50134 Florence, Italy
 Curriculum vitae (as of September 2016)
Biographical and Personal Information
 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
 197072: Assistant Lecturer in Physics, University of Asmara (Eritrea), Volontario di Servizio Civile (Civil Service Volunteer)
 197377: Junior School Teacher in Scuola Media Statale "M. Guerri", Reggello (Florence)
 197882: High School Teacher in Liceo Scientifico Statale "G. Castelnuovo", Florence
 198387: Assistant Professor (Ricercatore) in the Department of Mathematics "Ulisse Dini", University of Florence
 October 1987October 2002: Full Professor of Computer Science, Department of Computer Science, University of Milan
 November 2002present: Full Professor of Mathematical Logic, Department of Mathematics and Computer Science
"Ulisse Dini", University of Florence
Academies
 International Academy of Philosophy of Science, AIPS,
Bruxelles, Member since 1995
 National Academy of Exact, Physical and Natural Sciences,
ANCEFN, Buenos Aires, Corresponding Member since 2000
Honors and Awards
 Alfiere del Lavoro, Rome 1965, awarded by the President of the Italian Republic, (after the Maturità examination)
 President, Associazione Italiana di Logica e sue Applicazioni, AILA, 19941998
 President, Kurt Gödel Society, KGS, Vienna, 19921996
 Member of the Centro de Logica, Epistemologia e História da Ciência, CLE, UNICAMP,
State University of Campinas, Brazil, 1995present
 Member of the Scientific Council of the
European Association for Computer Science Logic, EACSL, 1993present
 Distinguished Visiting Professor, University of Bahía Blanca, UNS, Argentina, 1999
 Member of the Advisory Board of the
Centro de Algebra, CAUL, University of Lisbon, 20032014
 Member of the Advisory Board for the
Doctoral Program Logical Methods
in Computer Science at TU Vienna, 2014present
Selected Administrative Positions
 Secretary of the Scientific Committee of the Group for Algebra and Geometry. Istituto Nazionale Alta Matematica (National Institute of Advanced Mathematics) "Francesco Severi", (GNSAGAINDAM), 19972013
 Coordinator for the University of Florence of the IRSES European Project on "Mathematical Tools for the Management of Uncertain and Vague Information", (Argentina, Brazil, Italy, Spain) (Acronym: MaToMUVI), 20112014.
 Scientific Coordinator of the MarieCurie IEF Project on "Topological Representations of MValgebras", (Acronym: TopRepMVAlg), 20112012
 Coordinator (Florence Research Unit) of the National PRINCOFIN Projects on "ManyValued Logic". Italian Ministry of Science and Technology, years:
20102011, 20062008, 2004, 2002
 Coordinator (Milan Research Unit) of the National PRINCOFIN Projects on "ManyValued Logic". Italian Ministry of Science and Technology, years: 2000 and 19941998
 VicePresident, European Community Action Cost 15 on "Manyvalued Logics for Computer Science Applications", 19941999
 Member of the Standing Committee, Schools of the European Foundation on Logic, Language and Information, ESSLI, 19951998
 Coordinator of the Ph.D. program in Computer Science of the Department of Computer Science of the University of Milan, 19922000
 Italian Coordinator of the bilateral project with Austria on "Analytic Methods in Manyvalued Logic", 19982001
 Italian Coordinator of the bilateral project of scientific and technological cooperation with Argentina on "Manyvalued Logic", signed in Buenos Aires, December 2001
 Italian Coordinator of the bilateral project
of scientific and technological cooperation with Argentina,
on "Information under Uncertain Conditions: from Foundations to Applications",
signed in Buenos Aires, December 2004
Editorial Boards
 Studia Logica, Springer, Managing Editor, 1993present
 Trends in Logic, KluwerSpringer, Book Series Editor, 1995present
 Journal of Algebra and its Applications, World Scientific, Editor, 2002present
 Journal of Multiplevalued Logic and Soft Computing, OCP Publishers, Editor, 2002present
 International Journal of Approximate Reasoning, Elsevier, Associate Editor, 2012present
 Studies in Logic, Sun Yatsen University (Guangzhou)
and Chinese Association of Logic, Editor, 2008present
 Advances in Applied Mathematics, Elsevier, Editor, 19952010
 Journal of Logic, Language and Information, Kluwer, Editor, 19911999
 Annals of Pure and Applied Logic, NorthHolland, Advisory Editor, 19901995
 International Schools for Computer Science Researchers, Oxford University Press, Book Series Editor, 19931997
Proceedings Editor
 (with G. Gottlob and A. Leitsch)
Gödel Symposium held in Brno, Czech Republic,
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, Vol. 259, 1997
 (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, Vol. 260, 1997
 (with A. Marcja and M. Boffa) Proceedings
AILAKGS 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
 Manyvalued 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
nonclassical 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) Manyvalued logic
and cognition, Studia Logica, Vol. 90.1, 2008
 (with E. Agazzi and I. M .L. D'Ottaviano)
Proceedings of the CLEAIPS event honoring Newton da Costa,
Campinas, São Paulo Brazil, August 2009.
Proceedings are published in the special issue Vol. 97.1
of Studia Logica, and in special volumes of
Manuscrito, and of Principia

(with L. Beklemishev, G. Bezhanishvili and Y. Venema)
In memoriam Leo Esakia, Studia Logica, Vol. 100, 2012
Visiting
 University of Buenos Aires, UBA (several times)
 Institute for Advanced Mathematics, IAM,
Buenos Aires (several times)
 Czech Academy of Sciences, Prague (several times)
 State University of Campinas, UNICAMP,
Brazil (several times)
 Institute of Advanced Studies of the University of São Paulo (1991)
 Banach Center of Warsaw (1996)
 Humboldt University of Berlin (1989, 2000)

JAIST, Japan Institute of Science and Technology, Kanazawa (2002)
 University of La Plata (2000, 2001)
 ZIF, Bielefeld (several times)
 Institute for Catalan Studies, Barcelona (1997)
 Center of Algebra, University of Lisbon, CAUL, (several times)
 Center for Machine Perception, Charles University of Prague (2003, 2008)
 Institute of Logic and Cognition, Sun Yatsen University,
Guangzhou, China (2007, 2016)

Math. Dept. Beihang University, Beijing, China,
NovemberDecember 2011.

Invited talks and/or short visits for scientific cooperation
(a selection):
Amsterdam, Angers, Barcelona, Basel, Bern,
Bratislava, Bruxelles,
Cambridge, Dortmund, Freiburg i.Br., Haifa,
Heidelberg, Karlsruhe, Kosice, Linz, Malaga,
Mexico City, Natal,
Oxford, Paris VII,
Pisa (Scuola Normale Superiore), Prague, Stanford,
Utrecht, Nashville (Vanderbilt), Vienna
Plenary Invited Speaker (a selection)
 ASL European Logic Colloquium:
Florence (1982), Padova (1988) and Keele, UK (1993)
 Oberwolfach meetings in Mathematical Logic
(1983,1985,1995)
 Dagstuhl meetings in Computer Science (1993,1997)
 Easter Conferences in Model Theory,
Humboldt University, Berlin, (all 10 editions)
 Computer Science Logic, CSL (Kaiserslautern 1989,
Heidelberg 1990, Bern 1991)
 Meeting of the Omega group, in preparation of the
book "ModelTheoretic Logics'', Springer, 1985;
Freiburg, June 1981, Stanford, April 1982
 Open Days in Model Theory and Set Theory,
Jadwisin, Poland, September 1981
 Table Ronde de Logique, Paris VII, October 1516, 1983
 VII SLALM, Latin American Symposium in Mathemathical Logic,
CLE UNICAMP, July 29August 2, 1985
 Ordered algebraic structures, Paris VII, May 5, 1987
 Logic in Computer Science, MarseilleLuminy, CIRM,
June 2024, 1988

Knowledge, Belief and Strategic Interaction, Castiglioncello, Italy, June 610, 1989

Workshop on Boolean Functions, Propositional Logic and AI Systems, Ulm, Germany,
September 45, 1989

MFCS, Mathematical Foundations of Computer Science, Banská
Bystrica, August 2730, 1990

INDAM meeting on Effectiveness in Algebra and in Logic, Cortona,
Italy, October 811, 1990
 Second International School on the Philosophy of Science,
International Center for Theoretical Physics, ICTP, Trieste, Italy
28 October9 November, 1991
 Semester on Algebraic Methods in Logic
and their Computer Science Applications,
S. Banach International Math. Center, Warsaw,
November 1222, 1991
 IX SLALM, Latin American Symposium in Mathematical Logic,
In memoriam A. Raggio, UNS, Bahía Blanca, Argentina,
August 38, 1992
 Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 2427, 1993
 Order in Algebra and Logic with
Applications, jointly with Istituto
Italiano per gli Studi Filosofici (Naples),
Oxford, March 2223, 1995

Model Theory and Algebra, Dresden, Germany,
June 810, 1995
(opening address)

X SLALM, Latin American Symposium in Mathematical Logic,
Universidad de los Andes, Bogotà, Colombia, July 2429, 1995
 International Symposium
Order in Algebra and Logic, jointly with Istituto
Italiano per gli Studi Filosofici, Galway,
April 1011, 1996
 Brazilian Logic Conference, XI EBL jointly with WoLLIC'96,
Universidade Federal de
Bahia,
Salvador, Brazil, May 610, 1996
 Kurt Gödel Legacy,
Brno, Czech Republic, August 2628, 1996
 "Waves", in honor of Giuliano Toraldo di Francia,
Florence, September 1517, 1996
 Logic, Algebra and Computer Science.
In memoriam Helena Rasiowa.
Warsaw, December 47, 1996
 IFSA Symposia:
Bruxelles 1991, Prague 1997, Liptovski Mikulasz 2000
 Order in Algebra and Logic with Applications,
jointly with
Istituto Italiano per gli Studi Filosofici,
MarseilleLuminy,
April 2224, 1997
 The Logic of Soft Computing, Prague, June 2629, 1997
 Symposium on Logic and Computer Science,
ENC '97, Univ. Autónoma,
Querétaro (Mexico), September 1213, 1997
 Order in Algebra and Logic
with Applications,
jointly with Istituto
Italiano per gli Studi Filosofici, Celebrating Mario Curzio,
Barcelona, January 2629,
1998
 COST Action 15 workshop on Manyvalued Logic,
Liège, Belgium, April 2326, 1998
 XI SLALM,
Latin American Symposium in Mathematical Logic,
Universidad de Los Andes,
Mérida, Venezuela, July 610, 1998
 Jaskowski
Symposium, Torun, Poland, July 1517, 1998 (opening address)
 ASL European Logic Colloquium.
Special session on manyvalued logic,
Prague, August 915, 1998
 V Congress "Dr. Antonio A.R. Monteiro", UNS,
Bahía Blanca, Argentina, April 2123, 1999 (opening address)
 Grigore Moisil Symposium,
Bucharest, May 69, 1999 (opening address)
 Workshop in Logic and Physics of Computation,
Erice, Sicily, International School of Mathematics
"G. Stampacchia'', Ettore Majorana foundation and centre for
scientific culture, July 29August 1, 1999
 In memoriam GianCarlo Rota, Maratea,
Italy, October 67, 1999
 Second World Congress on Paraconsistency,
in honor of Newton C.A. da Costa on his 70th birthday, USP, São Paulo,
May 1219, 2000
 Perspectives on Adaptivity and Learning.
Workshop at ZIF, Bielefeld, Germany,
September 2529, 2000
 Congress in memoriam Pierangelo Miglioli,
Mantua, Italy, October 12, 2000
 Workshop
on Lattice ordered groups and frings,
Gainesville, Florida, USA, February 28March 3, 2001
 Congress of the International
Quantum Structures
Association, IQSA, Cesena, Italy, March 31April 1, 2001
 XIV Coloquio Latinoamericano de Algebra,
La Falda, Còrdoba, Argentina, August 110, 2001
 SOFSEM, Theory and Practice of Informatics,
Piestany, Slovakia, December 13, 2001
 Information in natural sciences,
social sciences, humanities
and engineering, ZIF, Bielefeld,
Germany, February 27March 1, 2002
 32nd IEEE International
Symposium for multiplevalued logic,
Boston, Massachusetts, USA, May 1517, 2002
 International Conference on
Modern Algebra, honoring the 60th birthday of Ralph McKenzie,
Vanderbilt, Nashville, Tennessee, USA,
May 2225, 2002
 First ItalianAmerican UMIAMS meeting,
Pisa, Italy, June 13, 2002
 The Logic of Soft Computing, II,
Capri island, Italy, October 1921, 2002
 Algebra and Substructural Logics,
JAIST, Kanazawa, Japan, November 1013, 2002 (opening address)
 Conference on
Lattices, Universal Algebra and Algebraic Logic, CAUL, Lisbon,
May 2830, 2003
 Special Evening Lecture in the
European School on Logic, Language and Information, ESSLI 2003,
Vienna, August 27, 2003
 50 Years
of Studia Logica, Roskilde University, Copenhagen, November
2021, 2003

Residuated Structures and manyvalued Logics,
Patras, Greece, June 24, 2004

The Challenges of Semantics,
Vienna, July 1217, 2004
 Algebra, Logic and Cybernetics,
in honor of the 75th anniversary of the birth of
A.I. Kokorin. Irkutsk, Russia, August 2528, 2004

First Indian Conference on Logic and its Relationships with other Disciplines,
Indian Institute of Technology, IIT,
Mumbay, India, January 813, 2005
 International Conference Algebra and its
Applications, Athens, Ohio, USA, March 2225, 2005
 Arbeitstagung Allgemeine Algebra (AAA),
Vienna, May 2629, 2005
 The Logic of Soft Computing, IV ERCIM Soft Computing
Workshop, Ostrava, Czech Republic,
October 710, 2005
 Conferences on Ordered structures, Nashville
(Vanderbilt), and Gainesville (Univ. Florida), February 27March 13, 2006
 Logic, Models, Computer Science, in memoriam Sauro Tulipani,
Camerino, Italy, April 2022, 2006
 7th International Conference
on Applied Artificial Intelligence, FLINS06, Genoa, Italy,
August 2931, 2006
 Towards Mathematical Philosophy, Trends in Logic IV,
Torun, Poland, September 14, 2006
 Algebra and substructural logics, in honor
of A. Wronski, Krakow, November 68, 2006
 IX Congreso A. Monteiro, UNS, Bahía
Blanca, Argentina, May 30June 1, 2007
 Colloquium
in honor of Antonio Aniceto Monteiro, Lisbon, June 45, 2007
 Order, Algebra and Logics, Vanderbilt,
Nashville, Tennessee USA,
June 1316, 2007

Trends in Logic V, ManyValued Logic and Cognition,
Guangzhou, China, July 69, 2007

CLE 30th anniversary, UNICAMP, Campinas, Brazil,
September 1122, 2007
 18th Congress of the Italian Mathematical
Union, UMI, Bari, Italy, September 2829, 2007
 Shanks workshop on
Proof Theory and Algebra,
Vanderbilt, Nashville, USA, March 68, 2008
 Residuated Structures in Algebra and Logic,
Institute for Advanced Mathematics, IAM,
Buenos Aires, April 1619, 2008 (opening address)
 Nonclassical Logics and their Applications,
Scuola Normale Superiore Pisa,
Centro Ennio De Giorgi, April 2426, 2008

The Paul Conrad legacy, Univ. of Florida,
Gainesville, USA, May 58, 2008
 Conference in honor of Beppo Levi,
Istituto Italo Latino Americano, Rome, June 11, 2008
 LATD08, Logic, Algebra and Truth Degrees,
Siena, September 811, 2008
 Conference in honor of Francesc Esteva,
Univ. Autònoma Barcelona, November 78, 2008
 The Legacy of 30 Seminars, Linz, February 47, 2009

The digital footprint of GianCarlo Rota,
Milan, February 1618, 2009
 Shanks Workshop on Ordered Groups in Logic,
Vanderbilt, Nashville, Tennessee, March 2122, 2009,
(closing address)
 Algebra and Probability in manyvalued
Logics, Darmstadt, May 79, 2009, (opening address)
 ORD/OAL, a celebration of Charles Holland,
Bowling Green, Ohio, June 1518, 2009, (closing address)
 Tenth European Conference on Symbolic
and Quantitative Approaches to Reasoning with Uncertainty
ECSQARU09, Verona, July 13, 2009
 Science, Truth and Consistency, CLEAIPS event
in celebration of the 80th birthday of Newton C.A. da Costa,
Campinas, SP, Brazil, August 2328, 2009
 Logical Foundations of Rational Interaction,
Scuola Normale Superiore Pisa, Centro E. De Giorgi,
November 14, 2009
 "Beauty of Logic", honoring Petr Hájek
on his 70th birthday, Prague, February 67, 2010

ISMVL 2010, Int. Symp. Multiple Valued Logic,
Barcelona, May 2728, 2010

ASUBL4, Algebra and Substructural Logics 4, JAIST, Kanazawa, Japan,
June 511, 2010
 MFCSCSL, (Mathematical Foundations
of Computer Science, jointly with Computer Science Logic)
Brno, Czech
Republic, August 2829, 2010 (opening address)

Conference
on Order in Algebra and Logic, Trends in Logic VIII,
UBA, Buenos Aires, October 1315, 2010 (opening address)
 Uncertainty and Vagueness, Salerno, Italy,
May 1820, 2011

Second International Conference on Order, Algebra, and Logics:
honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wronski,
Krakow, June 610, 2011

Ordered groups and lattices in algebraic logic, in memoriam
Leo Esakia, Trends in Logic X,
Tbilisi, Georgia, September 2023, 2011
 Concepts and Meaning.
Workshop in honor of Alexander Leitsch on his
60th birthday, Vienna Center for Logic and Algorithms, May 45, 2012

XV Latin American Symposium on Mathematical Logic, SLALM,
Universidad de Los Andes,
Bogotá, Colombia, June 48, 2012
 ManyVal '12,
honoring Antonio Di Nola on his 65th birthday,
Salerno, Italy, 47 July 2012
 Philosophy and Mathematics of Uncertainty and Vagueness,
CLEUNICAMP, Campinas, SP, Brazil, August 615, 2012

Logic, Algebra and TruthDegrees,
LATD 2012, JAIST, Kanazawa, Japan, September 1114, 2012
 Per il centenario di Alan Turing, fondatore
dell' informatica,
Centro Linceo Interdisciplinare
"Beniamino Segre",
Accademia Nazionale dei Lincei,
Rome, November 22, 2012
 Universal Logic, Rio de Janeiro, April 37, 2013
 Fourth International Workshop
"Algebra and Coalgebra meet Proof
Theory" (ALCOP 2013), Utrecht, The Netherlands,
April 1820, 2013

Mathematics in Armenia. Advances and Perspectives, II,
dedicated to the 70th anniversary
of the foundation of the Armenian Academy of Sciences,
August, 2431, 2013, Tsaghkadzor, Armenia
 Algebra Workshop: 34 years of CAUL,
1822 November 2014, Lisbon, (opening address)
 BLAST,
Las Cruces, New Mexico, USA,
59 January 2015,
(opening address)
 Final meeting of the IRSES MaToMuVi European Project,
UBA, Buenos Aires, February 2527, 2015
 Ordered Algebraic Structures,
Jupiter, Florida, USA, May 810, 2015
 Topology, Algebra, and Categories in Logic,
TACL 2015, Ischia island, Italy, 2126 June, 2015
(closing address)
 New direction in inverse semigroups, Fields Institute,
Ottawa, Canada, June 14, 2016
 SYSMICS 2016, Syntax meets Semantics,
kickoff meeting,
Barcelona, Spain, September 59, 2016,
(an "open" lecture)
 Consistency, Contradiction, Paraconsistency and Reasoning, 40 years of CLE.
Trends in Logic XVI, CLE, UNICAMP, Campinas, Brazil,
September 1215, 2016 (closing address)
Selected Short Courses
 Abstract Model Theory, Math. Dept.,
University of Perugia, Italy, 1983
 Algebra, Math. Dept.,
University of Salerno, Italy, 1983
 Abstract Model Theory, Math. Dept.,
University of Siena, Italy, 1986
 Logic of adaptive Coding, UNICAMP, Campinas, Brazil, 1988
 Complexity of Boolean Functions, First International School for Computer Science Researchers, Acireale, Italy, June 1989
 Automated Deduction, Math. Dept.,
University of Siena, 1991
 Algebraic Logic, Mendoza, Argentina, August 1994
 Algebraic Logic, Centre de Recerca Matematica, Barcelona, July 1997
 Algebraic Foundations of manyvalued Reasoning, UBA, Buenos Aires,
SeptemberOctober 1998
 Algebraic Logic, Mérida, Venezuela, July 1998
 An invitation to manyvalued logic, UNS, Bahía Blanca, Argentina, April 1999
 Manyvalued logic: from coding theory to operator algebras,
Third Panhellenic Logic Symposium, Anogia, Greece, July 2001
 Combinatorial fans, latticegroups and manyvalued logic, 47th Séminaire Lotharingien de Combinatoire, Bertinoro, Italy, October 2001
 Logic, Collegio Ghislieri, Pavia, Italy, 20012002
 The logic of imprecisely defined functions, International School on Neural Nets, 5th Course, Ettore Majorana Foundation, Erice, Italy, March 2002
 ManyValued Logic, First International Conference on Logic and its Applications, Mumbay, January 2005,
 MValgebras, Symposium on Ordered Structures in Manyvalued Logic,
Sorrento, Naples, May 2006
 Recent results in manyvalued logic, UNS, Bahía Blanca, Argentina, May 2007
 An introduction to manyvalued logic, Sun Yatsen Univ.,
Guangzhou, China, July 2007
 Logic and Polyhedra, UNICAMP, Campinas, Brazil, September 2007
 Calculability and Complexity, AILA Summer School, Gargnano, Italy, August 2015
 Summer School on General Algebra and Ordered Sets, Srní, Czech Republic,
September 2015
Referee for
 Various American and European universities, for promotion and tenure
 Various international publishers, for book projects in logic and computer science
 Landau Network, Centro Volta,
Villa Olmo, Como, Italy (19972002)
 International Association for the Promotion of Cooperation with Scientists from the New Independent States of the former Soviet Union, INTAS, Brussels, Belgium (19992002)
 Third World Academy of Sciences, TWAS, Trieste, Italy (19952000)
 Various National and International Committees and Agencies for the evaluation of research projects
Program Committee Member
(a selection)
 Logic Colloquium, Padova, Italy, 1988
 Mathematical Foundations of Computer Science, MFCS 1990, Banská Bystrica, Slovakia, 1990
 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
 Gödel Colloquium, held in Brno, Czech Republic, 1993
 International Congress for the 60th birthday of Roberto Magari, Siena, Italy, 1994
 Order in Algebra and Logic V, Oxford, 1995, Chairman of Program Committee
 Second World Conference on the Fundamentals of Artificial Intelligence, Paris, 1995
 ASL Logic Colloquium, Haifa, Israel, 1995
 International IUHPS Symposium in Logic, Methodology and Philosophy of Science, Florence 1995, Member of the General Program Committee
 AILAKGS Meeting on Model Theory, Florence 1995, Chairman of the Scientific Committee
 Gödel Colloquium, Brno, 1996, Chairman of the Scientific Committee
 Theorem Proving with Analytic Tableaux, Palermo, Italy, 1996
 Order in Algebra and Logic VI, in honor of Giuseppe Tallini, Galway, Ireland, 1996, Chairman of the Program Committee
 Computational logic and proof theory, Gödel Colloquium, Vienna, 1997, Chairman of the Scientific Committee
 Order in Algebra and Logic VII, CIRM MarseilleLuminy, France, April 1997, Chairman of Program Committee
 Meeting on Multiplevalued logic, Dagstuhl, Germany, October 1997, coorganizer
 4th Barcelona Logic Meeting, February 1998
 National School of the Italian PhD programs in Computer Science, Bertinoro, Bologna, Italy, May, 1998
 Eleventh Latin American Symposium on Mathematical Logic, Mérida, Venezuela, 1998
 6th European Workshop on Logics in AI, JELIA'98, Dagstuhl, Germany, 1998
 Logic Colloquium, Prague, 1998, Program Committee member, Chairman of a Special Session on Manyvalued and Fuzzy Logic
 Workshop on Logic and Physics of Commputation, Ettore Majorana Centre for Physics, Erice, Italy, Director, 1999
 Constructivism in nonclassical logic and computer science, (in memoriam Pierangelo Miglioli), Mantua, Italy, 2000
 COSSAC, Combinatorics of Searching, Sorting and Coding, Ischia, Italy, 2001
 The Logic of Soft Computing, Gargnano, Brescia, Italy, 2001, Chairman of the Program Committee
 SOFSEM, Prague, 2000, 2001, 2002
 Logic, Methodology and Philosophy of Science, Oviedo 2003, member of the Committee on Philosophical Logic
 First FlorenceVienna Workshop on Logic and Computation, Florence, January 2004, Chairman of the Program Committee
 General Theory of Information Transfer, ZIF, Bielefeld, April 2004, coorganizer
 Beauty of Logic, Celebrating Petr Hajek's 65th birthday, Prague, February 2005, Chairman of the Program Committee
 Second ViennaFlorence 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
 CLEAIPS Event in honor Newton da Costa, UNICAMP Campinas, SP, Brazil, August 2009, cochair of the Program Committee
 Conference on Rationality, Probability and Logic, Pontignano and Pisa, Scuola Normale Superiore, November 2009
 Logic, Algebra and Truth Degrees 2010, Prague, September 2010
 Algebraic Semantics for Uncertainty and Vagueness, Salerno,
Italy, May 2011
 Ordered groups and lattices in algebraic logic, Tbilisi, Georgia, September 2011
 Trends in Logic XI, 2012, Studia Logica International Conference, RuhrUniversität,
Bochum, Germany, June 2012
 ManyVal 2013, Prague, Member of the Steering Committee
 Beyond True and False: Logic, Algebra and Topology, Florence, December
35, 2014
 ManyVal 2015, Les Diablerets, Switzerland, December 1113, 2015
 "Coherence and Truth, In memoriam
Franco Montagna", December 1618, 2015, Pontignano (Siena, Italy)
 Trends in Logic XVI, CLEUNICAMP, Campinas,
Brazil, September 2016
 TACL 2017, Olomouc, Czech Republic, June 2017
Ph D Thesis Advisor
 Stefano Aguzzoli, Prooftheory in manyvalued logic
 Agata Ciabattoni, Prooftheory in manyvalued logics
 Ferdinando Cicalese, Coding with feedback
 Ernesto Damiani, Algebraic techniques in space decomposition
 Brunella Gerla, Manyvalued logics of continuous tnorms
 Reiner Hähnle, Automated deduction in multiplevalued logics
 Corrado Manara, Nonboolean partitions and interpretable control systems
 Vincenzo Marra, Manyvalued partitions and lgroups
 Nicola Olivetti, Algorithmic prooftheory for nonclassical logic
 Giovanni Panti, Manyvalued logic and its applications
Publications
 5 books authored
 6 books edited
 9 special issues edited
 over 165 articles published
Scientific Papers
 Robinson consistency theorem in soft model theory,
Rendiconti Accademia Lincei Mat. Appl., 67 (1979) 383386.
 Natural limitations of algorithmic procedures in logic, Rendiconti Accademia Lincei Mat. Appl., 69 (1980) 101105.
 Ergodic undefinability in set theory and recursion theory, Proc. Amer. Math. Soc., 82 (1981) 107111.
 Robinson's consistency theorem in soft model theory, Trans. Amer. Math. Soc., 263 (1981) 231241.
 Irreversibility, uncertainty, relativity and computer limitations, Il Nuovo Cimento, Europhysics J., 61 B, n. 2 (1981) 297305.
 Applications of manysorted Robinson consistency theorem, Zeit.math.Logik, 27 (1981) 181188.
 A grouptheoretical invariant for elementary equivalence and its role in representations of elementary classes, Studia Logica, 40 (1981) 253267.
 An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, J. Symbolic Logic, 46 (1981) 523530.
 Craig's interpolation theorem in computation theory, Rendiconti Accademia Lincei Mat. Appl., 70 (1981) 611.
 Duality between logics and equivalence relations, Trans.Amer.Math.Soc., 270 (1982) 111129.
 Compactness, interpolation and Friedman's third problem, Annals of Mathematical Logic, 22 (1982) 197211.
 Interpolation, compactness and JEP in soft model theory, Archiv math. Logik, 22 (1982) 6167.
 Complexity of Craig's interpolation, Fundamenta Informaticae, 5 (1982) 261278.
 Lembedding, amalgamation and Lelementary equivalence, Rendiconti Accademia Lincei Mat. Appl., 72 (1982) 312314.
 Compactness = JEP in any logic, Fundamenta Mathematicae, 116 (1983) 99108.
 A lower bound for the complexity of Craig's interpolants in sentential logic, Archiv math.Logik, 23 (1983) 2736.
 Natural limitations of decision procedures for arithmetic with bounded quantifiers, Archiv math.Logik, 23 (1983) 3754.
 Δtautologies, uniform and nonuniform upper bounds in computation theory, Rendiconti Accademia Lincei Mat. Appl., 75 (1983) 99101.
 Abstract model theory and nets of C*algebras: noncommutative interpolation and preservation properties, Lecture Notes in Math., 1103 (1984) 351377.
 A generalization of abstract model theory, Fundamenta Mathematicae, 124 (1984) 125.
 Embeddings, amalgamation and elementary equivalence: the representation of compact logics, Fundamenta Mathematicae, 124 (1984) 109122.
 NP and Craig's interpolation theorem, In: Proceedings Logic Colloquium '82, Studies in Logic and the Foundations of Mathematics, NorthHolland, Amsterdam, (1984) 345358.
 Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity, Annals of Pure and Applied Logic, 27 (1984) 265273.
 Modeltheoretic logics, AF C*algebras and manyvalued calculi, In: Scienza e Filosofia, Saggi in Onore di Ludovico Geymonat, Garzanti, Milano, (1985) 480493.
 Other Quantifiers: an Overview, Chapter VI In: ModelTheoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985)
211233.
 (with J. A. Makowsky) Abstract Equivalence Relations, Chapter XIX In: ModelTheoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985) 717746.
 Algebraic manyvalued logic and models of physical systems, In: Atti del Congresso Logica e Filosofia della Scienza, oggi, Vol. 1, CLUEB, Bologna, (1986), 8393.
 MValgebras are categorically equivalent to bounded commutative BCKalgebras, Math.Japonica, 31 (1986) 889894.
 Inverse topological systems and compactness in abstract model theory, J. Symbolic Logic, 51 (1986) 785794.
 Mapping abelian lgroups with strong unit oneone into MValgebras, J. Algebra, 98 (1986) 7681.
 Interpretation of AF C*algebras in Łukasiewicz sentential calculus, J. Functional Analysis, 65 (1986) 1563.
 Bounded commutative BCKalgebras have the amalgamation property, Math. Japonica, 32 (1987) 279282.
 Every abelian lgroup with two positive generators is ultrasimplicial, J. Algebra, 105 (1987) 236241.
 (with F. Ammannati, P. Mennonna, R. De Dominicis, G. Dal Pozzo, C. Fonda, G. Pazzaglini, B. Lehmann), CTguided stereotactic biopsy of endocranial lesions, La Radiologia Medica, 74 (1987) 3438.
 A simple construction of Robinson equivalence relations, Proc. Amer. Math. Soc., 101 (1987) 139141.
 The Turing complexity of AF C*algebras with latticeordered K_{0}, Lecture Notes in Computer Science, 270 (1987) 256264.
 Satisfiability in manyvalued sentential logic is NPcomplete, Theoretical Computer Science, 52 (1987) 145153.
 The derivative of truth in Łukasiewicz sentential calculus, In: Proc. VII Latin American Symp. on Math. Logic, Contemporary Mathematics, Vol. 69 (1988) 209227.
 Free products in the category of abelian lgroups with strong unit, J. Algebra, 113 (1988) 89109.
 Farey stellar subdivisions, ultrasimplicial groups, and K_{0} of AF C*algebras, Advances in Math., 68 (1988) 2339.
 (with J. Czyzowicz and A. Pelc), Solution of Ulam's problem on binary search with two lies, J.Combinatorial Theory, Series A, 49 (1988) 384388.
 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) 151158.
 Functions computed by monotone Boolean formulas with no repeated variables, Theoretical Computer Science, 66 (1989) 113114.
 The C*algebras of threevalued logic, In: Proceedings Logic Colloquium 1988, R. Ferro, C. Bonotto, S. Valentini, A. Zanardo, (Eds.), Studies in Logic and the Foundations of Mathematics, Amsterdam: NorthHolland, (1989) 6177.
 (with J. Czyzowicz and A. Pelc), Ulam's searching game with lies, J. Combinatorial Theory, Series A, 52 (1989) 6276.
 Reducibility of monotone formulas to μformulas, Lecture Notes in Computer Science, 440 (1990) 267270.
 Approximately finitedimensional C*algebras, abelian lgroups, and Łukasiewicz infinitevalued logic, Publications Mathématiques de l'Université Paris VII, Seminar on Ordered Algebraic Structures, Vol. 2, (1990) 99115.
 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), 151162.
 The complexity of adaptive errorcorrecting codes, Lecture Notes in Computer Science, 533 (1991) 300307.
 Solution of Rota's problem on the order of seriesparallel networks, Advances in Applied Mathematics, 12 (1991) 455463.
 Logic and algebra in Ulam's searching game with lies, Yearbook of the Gödel Society, (1991) 109114.
 Turing complexity of BehnckeLeptin C*algebras with a twopoint dual, Annals of Mathematics and Artificial Intelligence, 6 (1992) 287294.
 The logic of Ulam's game with lies, In: Knowledge, Belief and Strategic Interaction, Cambridge Studies in Probability, Induction, and
Decision Theory, (1992) 275284.
 Normal forms in infinitevalued logic: the case of one variable, Lecture Notes in Computer Science, 626 (1992) 272277.
 Ulam's games, Łukasiewicz logic, and AF C*algebras, Fundamenta Informaticae, 18 (1993) 151161.
 (with G. A. Elliott) A characterization of latticeordered abelian groups, Mathematische Zeitschrift, 213 (1993) 179185.
 (with G. Panti) Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993) 461471.
 (with G. A. Elliott and R. Cignoli) Reconstructing C*algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993) 166179.
 Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993) 19411955.
 K_{0}, relative dimension and the C*algebras of Post logic, In: IX Latin American Symposium on Mathematical Logic, Bahía Blanca, Notas de Lógica Matemática, V. 38, part I, (1994) 8392.
 A constructive proof of McNaughton's theorem, Journal of Symbolic Logic, 59 (1994) 596602.
 (with S. Aguzzoli), An algorithmic desingularization of 3dimensional toric varieties, Tohoku Math. Journal, 46 (1994) 557572.
 (with R. Cignoli and I. M. L. D'Ottaviano), Algebras of Łukasiewicz Logics, (in Portuguese), Collection CLE, Vol. 12, State University of Campinas, Campinas, São Paulo, Brazil, (1994), Second edition, 1995.
 (with M. Pasquetto) A proof of the completeness of the infinitevalued calculus of Łukasiewicz with one variable. In: Nonclassical Logics and their Applications, Höhle, U., Klement, E.P.K. (Eds). Dordrecht: Kluwer Academic Publishers, (1995) 107123.
 (with W. Sieg), Paper Machines, Philosophia Mathematica, (3) 3 (1995) 530.
 Averaging the truth value in Łukasiewicz sentential logic,
special issue in honor of Helena Rasiowa. Studia Logica, 55 (1995) 113127.
 Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W.Hodges et al., (Eds.), Oxford University Press, (1996) 401423.
 Uncertainty measures in MV algebras, and states of AF C*algebras, special issue in memoriam Rolando Chuaqui, Notas de la Sociedad de Matemáticas de Chile,
15 (1996) 4254.
 (with C. Cifuentes and A. Sette), Cauchy Completeness in elementary logic, Journal of Symbolic Logic, 61.4 (1996) 11531157.
 (with R. Cignoli) An elementary proof of Chang's completeness theorem,
special issue on the Mathematical Treatment of Uncertainty, Studia Logica, 58 (1997) 7997.
 Gödel incompleteness and quantum thermodynamic limits, In: Philosophy of Mathematics Today, Kluwer Academic Publishers, (1997) 287298.
 (with W. Sieg), Computability. Routledge Encyclopedia.
 (with R. Cignoli), An invitation to Chang's MValgebras, In: Advances in Algebra and Model Theory, M. Droste, R. Göbel, (Eds.), Gordon and Breach Publishing Group, Reading, UK, (1997) 171197.
 (with A. Trombetta), Optimal comparison strategies in Ulam's searching game with two errors, Theoretical Computer Science, 182 (1997) 217232.
 Nonboolean partitions and their logic. (First Springer Forum on Soft Computing), Soft Computing, 2 (1998) 1822.
 (with N. Olivetti), Resolution and model building in the infinitevalued calculus of Łukasiewicz, Theoretical Computer Science, 200 (1998) 335366.
 (with R. Cignoli) An elementary presentation of the equivalence between MValgebras and lgroups with strong unit, Studia Logica, 61 (1998) 4964.
 (with G. Panti) Twenty questions with manyvalued 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) 295313.
 Tensor Products and the LoomisSikorski theorem for MValgebras, Advances in Applied Mathematics, 22 (1999) 227248.
 (with G. Panti) A constructive proof that every 3generated lgroup is ultrasimplicial, Banach Center Publications, Vol. 46 (1999) 169178.
 Classes of ultrasimplicial latticeordered abelian groups, Journal of Algebra, 213 (1999) 596603.
 (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) 257266.
 Ulam game, the logic of Maxsat, and manyvalued partitions, In: Fuzzy Sets, Logics and Reasoning about Knowledge, D. Dubois, H. Prade, E.P.Klement, (Eds)., Kluwer Academic Publishers, (1999) 121137.
 (with J. Gispert and A. Torrens) Ultraproducts of Z with an application to manyvalued logics, Journal of Algebra, 219 (1999) 214233.
 Foreword: Logics of Uncertainty, Journal of Logic, Language and Information, 9 (2000) 13.
 (with R. Cignoli and I. M. L. D'Ottaviano), Algebraic Foundations of manyvalued Reasoning, Trends in Logic, Vol. 7, Kluwer Academic Publishers, Dordrecht, (2000).
 (with F. Cicalese), Perfect two faulttolerant search with minimum adaptiveness, Advances in Applied Mathematics, 25 (2000) 65101.
 (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests, Proceedings SWAT2000, Lecture Notes in Computer Science, 1851 (2000) 549562.
 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, PhysicaVerlag, Springer, (2000) 331366.
 (with F. Cicalese), Optimal coding with one asymmetric error: below the sphere packing bound, In: Proceedings COCOON2000, Lecture Notes in Computer Science, 1858 (2000) 159169.
 (with C. Drossos), Manyvalued points and equality, special issue in honor Newton C.A.da Costa, Synthese, 125 (2000) 97101.
 (with S. Aguzzoli), Weierstrass approximations by Łukasiewicz formulas with one quantified variable, In: Proceedings 31st IEEE Int. Symp. on MultipleValued Logic, ISMVL, (2001) 361366.
 (with R. Cignoli), Partial isomorphisms on totally ordered abelian groups and Hájek's completeness theorem for basic logic, Multiple valued Logic, special issue dedicated to the memory of Grigore Moisil, Vol. 6 (2001) 8994.
 (with F. Cicalese and U. Vaccaro), RotaMetropolis cubic logic and UlamRényi games, In: Algebraic Combinatorics and Computer Science: a tribute to GianCarlo Rota, (H. Crapo, D. Senato, Eds.), SpringerItalia, Milan, (2001) 197244.
 (with G. Panti), Decidable and undecidable prime theories in infinitevalued logic, Annals of Pure and Applied Logic, 108 (2001) 269278.
 Faulttolerance and RotaMetropolis cubic logic, In: Paraconsistency, Chapter 19, W. Carnielli et al., (Eds.), Marcell Dekker, Inc., (2002) 397409.
 (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests, Theoretical Computer Science, 270 (2002) 877893.
 (with B. Riecan) Probability on MValgebras, In: Handbook of Measure Theory, Vol. 2, E. Pap, (Ed.), NorthHolland, Amsterdam, (2002) 869909.
 (with V. Marra,) Combinatorial fans, lgroups and their neighbours, a short excursion. Séminaire Lotharingien de Combinatoire, 47: Article B47f, (2002), an electronic journal.
 (with V. Marra,) MValgebras and abelian lgroups: a fruitful interaction, In: Ordered Algebraic Structures, honoring Paul Conrad on his 80th birthday, J.Martinez, (Ed.), Kluwer, (2002) 5788.
 (with V. Marra,) Consequence and complexity in infinitevalued logic: a survey, In: Proceedings 32nd IEEE Int. Symp. on MultipleValued Logic, ISMVL, Boston,
(2002) 104114.
 Ifthenelse 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) 87108.
 (with F. Cicalese,) Learning and the art of faulttolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning. Stamatescu, I. et al., (Eds.), Springer, (2003) 117143.
 (with S. Aguzzoli,) Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable, In: Beyond Two: Theory and applications of multiplevalued logic, E. Orlowska, M. Fitting, (Eds.), PhysicaVerlag, Springer, Heidelberg, NY, (2003)
315335.
 (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) 145192.
 (with A. De Simone and M. Navara), A CantorBernstein theorem for sigmacomplete MValgebras, Czechoslovak Math.J, 53 (128) (2003) 437447.
 (with R. Cignoli and E. Dubuc), An MValgebraic invariant for boolean algebras with a finiteorbit automorphism, Tatra Mountains Math. Publications, special issue in honor Prof. Jan Jakubík on his 80th birthday, 27 (2003) 2343.
 Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Math. Soc., 356 (2004) 19371955.
 (with R. Cignoli and E. Dubuc), Extending Stone duality to multisets, Journal of Pure and Applied Algebra, 189 (2004) 3759.
 (with F. Cicalese, C. Deppe,) Qary UlamRényi game with weighted constrained lies, In: Proceedings COCOON 2004, Lecture Notes in Computer Science, 3106 (2004) 8291.
 (with J. Gispert) MValgebras: a variety for magnitudes with archimedean units, Algebra Universalis, special issue in memoriam Wim Blok, 53.1 (2005) 7  43.
 Decidability and Gödel incompleteness in AF C*algebras, Manuscrito, Rev. Int. Fil., special issue in honor I.M.L.D'Ottaviano on her 60th birthday, Vol. 28 (2005) 547588.
 A Characterization of the free ngenerated MValgebra, Archive for Mathematical Logic, 45 (2006) 239247.
 (with R. Cignoli, and M. Navara), Kleeneisomorphic sigmacomplete MValgebras with product are isomorphic, Multiple valued logics and soft computing, special issue in memoriam H. Thiele, 12.1 (2006) 18.
 (with R. Cignoli), Stone duality for Dedekind sigmacomplete lgroups with orderunit, Journal of Algebra, 302 (2006) 848861.
 Bookmaking over infinitevalued events, International Journal of Approximate Reasoning, 43 (2006) 223240.
 (with V. Marra), Riemann average truthvalue of Łukasiewicz formulas, special issue in honor of B. Riecan on his 70th birthday, Mathematica Slovaca, 56 (2006) 511524.
 Representation of sigmacomplete MValgebras and their associated Dedekind sigmacomplete lgroups, Contemporary Mathematics, AMS, Vol. 419, Oxford University Press, (2006) 219230.
 Revisiting the free twogenerator latticeordered abelian group, Journal of Pure and Applied Algebra, 208 (2007) 549554.
 (with C. Manara and V. Marra), Latticeordered Abelian groups and Schauder bases of unimodular fans, Transactions of the American Mathematical Society, 359 (2007) 15931604.
 (with V. Marra, and A. M. W. Glass), Embedding in finitely presented latticeordered groups, In: Groups St. Andrews 2005, London Mathematical Society Lecture Notes Series, Vol. 340, Cambridge University Press, (2007) 438444.
 (with M. Busaniche), Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007) 122.
 Free generating sets of latticeordered abelian groups, Journal of Pure and Applied Algebra, 211 (2007) 400403.
 (with V. Marra), The Lebesgue state of a unital abelian lgroup, Journal of Group Theory, 10 (2007) 655684.
 (with J. Kühr), De Finetti theorem and Borel states in [0,1]valued algebraic logic, International Journal of Approximate Reasoning, 46 (2007) 605616.
 La logica dei poliedri, Bollettino Unione Matematica Italiana, special issue with the plenary invited talks in the 18th Congress of the Italian Mathematical Union, IX, Vol. I, No. 2 (2008) 455474.
 Geometry of filters in free MValgebras, Boletim da Sociedade Portuguesa de Matemática, special issue for the Proceedings of the Conference in honor A. A. Monteiro, (2008) 275286.
 Łukasiewicz logic and de Finetti coherence criterion: recent developments, Studies in Logic, Chinese Association of Logic, 1.2 (2008) 116.
 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) 213232.
 (with C. Tsinakis), Gödel incompleteness in AF C*algebras, Forum Mathematicum, 20.6 (2008) 10711084.
 The Haar theorem for latticeordered abelian groups with orderunit, Discrete and Continuous Dynamical Systems, 21 (2008) 537549.
 Rota, probability, algebra and logic, In: From Combinatorics to Philosophy, E. Damiani et al., (Eds.), Springer, New York, (2009) 167181.
 Recognizing the FareySternBrocot AF algebra, Rendiconti Lincei Mat. Appl., 20 (2009) 327338.
 Conditionals and independence in manyvalued 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) 1621.
 Interpretation of de Finetti coherence criterion in Łukasiewicz logic, Annals of Pure and Applied Logic, 161 (2009) 235245.
 (with L. M. Cabrer), Projective MValgebras and rational polyhedra, Algebra Universalis, special issue in memoriam Paul Conrad, (J.Martinez et al., Eds.),
62 (2009) 6374.
 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) 273286.
 (with J. Kühr), From free abelian groups to free abelian lgroups, Mathematica Slovaca, special issue honoring Charles Holland on his 75th birthday, 61(3) (2011) 112.
 A compact [0,1]valued firstorder Łukasiewicz logic with identity on Hilbert space, J. Logic and Computation, 21(3) (2011) 509525.
 (with F. Cicalese), Recent Developments of Feedback Coding and Its Relations with ManyValued Logic, In: Proof, Computation and Agency, Synthese Library, Vol. 352, Part 3, (2011) 115131.
 Logica: Metodo Breve, SpringerItalia, Milan (2011).
 Advanced Łukasiewicz calculus and MValgebras, Trends in Logic, Vol. 35 Springer, New York, (2011).
 Rational measure of rational simplexes, In:
Logic without Frontiers, Festschrift
for Walter Alexandre Carnielli on the occasion of his 60th birthday.
JeanYves Beziau and Marcelo Esteban Coniglio (Eds.) Volume 17 of Tribute
Series, College Publications, London, (2011) 209214.
 (with L. M. Cabrer), Finitely presented latticeordered abelian groups with orderunit,
Journal of Algebra, 343 (2011) 110.
 Finite axiomatizability in Łukasiewicz logic, Annals of Pure and Applied Logic,
162 (2011) 10351047.
 Revisiting the Farey AF algebra, Milan Journal of Mathematics,
79 (2011) 643656.
 Consequence
and interpolation in Łukasiewicz logic,
Studia Logica, special issue honoring Ryszard Wójcicki
on his 80th birthday, 99 (2011) 269278.
 Logic: a Brief Course,
English Translation of [141] by Krzysztof Apt,
SpringerVerlag, Milan (2012).
 (with M. Busaniche and L. M. Cabrer),
Confluence and combinatorics in finitely
generated unital latticeordered abelian groups,
Forum Mathematicum,
24 (2012) 253271.
 (with L. M. Cabrer),
Rational
polyhedra and projective
latticeordered abelian groups with order unit,
Communications in Contemporary Mathematics,
14. 3 (2012) 1250017 (20 pages).
doi: 10.1142/S0219199712500174

Dalla macchina di Turing a P/NP,
McGrawHill, Milano, (2013).
 Logic on the ncube,
Journal of Logic and Computation.
Advance access July 10, 2013.
doi: 10.1093/logcom/ext033
 Invariant measure under the affine group over
Z,
Combinatorics, Probability
and Computing,
23 (2014) 248268.

Universal properties of
Łukasiewicz consequence,
Logica Universalis, 8.1
(2014) 1724.
 (with M. Busaniche)
BouligandSeveri tangents
in MValgebras,
Revista Matemática Iberoamericana,
30.1 (2014) 191201.

(with A. Pedrini)
The Euler characteristic and valuations on MValgebras,
Mathematica Slovaca,
special issue honoring J. Jakubík on his 90th birthday,
64.3 (2014) 563570.

(with W. Sieg) Turing, il matematico,
(Turing, the mathematician). In:
Per il Centenario di Alan Turing fondatore dell'Informatica,
Rome, November 22, 2012.
Accademia Nazionale dei Lincei, Contributi del Centro Linceo
Interdisciplinare "Beniamino Segre",
Vol. 129 (2014) 85120.

(with L. M. Cabrer) Interval MValgebras and generalizations,
International
Journal of Approximate Reasoning,
55 (2014) 16231642.

(with C. Picardi) Faulty sets of Boolean formulas and
Łukasiewicz logic,
Journal of Logic and Computation,
special issue honoring Alexander
Leitsch on his 60th birthday, (2014). Published online: December 8, 2014.
doi:10.1093/logcom/exu073

(with L. M. Cabrer)
A StoneWeierstrass theorem for MValgebras and unital
lgroups,
Journal of Logic and Computation,
25.3 (2014) 683699.

The differential semantics of
Łukasiewicz syntactic consequence,
Chapter
7, In:
Petr Hàjek on Mathematical Fuzzy Logic,
(Montagna F., Ed.), Outstanding
Contributions, Vol. 6, Springer International Publishing Switzerland,
(2015) 143157.

(with L. M. Cabrer) SeveriBouligand tangents, Frenet frames and Riesz
spaces,
Advances in Applied Mathematics,
64 (2015) 120.

(with L. M. Cabrer)
Classifying orbits of the affine group over the integers,
Ergodic
Theory and Dynamical Systems,
Cambridge University Press, 2015.
Published online: July 21, 2015.
doi:10.1017/etds.2015.45

A geometric approach to MValgebras,
In: On Logical, Algebraic and Probabilistic Aspects
of Fuzzy Set Theory, Dedicated to Erich Peter Klement,
(R. Mesiar et al. Eds.), Springer, Berlin (2016)
5770.

(with M. Busaniche and L. M. Cabrer)
Polyhedral MValgebras,
Fuzzy Sets and Systems,
special issue honoring F. Esteva on his
70th birthday,
292 (2016) 150159.

(with L. M. Cabrer)
Classifying GL(n,Z)orbits
of points and rational subspaces,
Discrete and Continuous Dynamical Systems,
36.9 (2016) 47234738.

Hopfian lgroups, MValgebras and AF C*agebras,
Forum Mathematicum.
Published online on May 1, 2016.
doi 10.1515/forum20150177

Coherence of de Finetti coherence,
Synthese.
Published online on June 1, 2016.
doi 10.1007/s1122901611269

(with L. M. Cabrer)
Idempotent endomorphisms of free MValgebras
and unital lgroups,
Journal of Pure and Applied Algebra.
Available online August 22, 2016.
http://dx.doi.org/10.1016/j.jpaa.2016.08.011