Daniele Mundici
Department of Mathematics and Computer Science "Ulisse Dini",
University of Florence
Viale Morgagni 67/A,
50134 Florence, Italy
 Curriculum vitae
(as of April 12, 2021)
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 1, 2002October 31, 2016: Full Professor of Mathematical Logic, Department of Mathematics and Computer Science
"Ulisse Dini", University of Florence
 November 1, 2016present: Honorary Member,
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

Coherence and Truth,
Soft Computing, (2017)
special issue
in memoriam
Franco Montagna. Coedited with
A. di Nola, C.Toffalori and A.Ursini.
DOI 10.1007/s0050001624497.
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

New York University Abu Dhabi, March 2017

Invited talks and/or short visits for scientific cooperation
(a selection):
Amsterdam, Angers, Barcelona, Basel, Bern,
Bratislava, Bruxelles,
Cambridge, Darmstadt, 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)

WOLC2016.
Nonclassical Logics and Their Applications: The 8th
International Workshop on Logic and Cognition,
Guangzhou, China, December 59, 2016

XIV Congreso Antonio Monteiro, Univ. Nacional
del Sur, Bahia Blanca, Argentina, May 31June 2, 2017
(opening address)

SYSMICS "Geometry and non classical logic".
University of Salerno (Fisciano, Italy)
Sept. 58, 2017

ISRALOG17, Haifa, Israel, Research Workshop
of the Israel Science Foundation,
Oct. 1517, 2017

Celebrating Alexander Leitsch on his 60th birthday,
Tech. Univ., Vienna, Oct. 20, 2017

Emil Artin International Conference.
Dedicated to the 120th Anniversary of Emil Artin.
Yerevan. Republic of Armenia, May 27June 2, 2018

Vojtech Jarnik International Mathematical Competition,
Ostrava, Czech Republic, April 1114, 2018

UNILOG 2018, 6th World Congress and School on Universal Logic, Vichy, France, June 2126, 2018

Logic Colloquium 2018,
Special Session on nonclassical logics, Udine, Italy,
July 2227, 2018

Duality in Algebra and Logic,
Faculty of Mathematics,
Chapman University, Orange CA.
SYSMICS workshop, September 1417, 2018

ManyVal, Bucharest, October 31November 4, 2019

Creativity, Rio de Janeiro, honoring Newton C.A.
da Costa, December 813, 2019

Invited to (cancelled because of Covid19):
São Paulo School of Advanced Science on Contemporary Logic, Rationality and InformationSPLogiC,
organized by the Centre for Logic, Epistemology and the History of Science of the University of Campinas, Brazil,
July 2020

Invited to (cancelled because of Covid19):
Sixteenth International Tbilisi Summer School in Logic and Language. Sept. 913, 2020, Tbilisi, Georgia

Invited to (cancelled because of Covid19):
LATD (September,1419, 2020) Tbilisi, Georgia

Invited to (cancelled because of Covid19):
Nonclassical Logics  Theory and Applications in Lodz, (Poland) September 2628 2020
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

Łukasiewicz logic, Vienna Technical University, May 2017
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 Computation, 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, 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

Emil Artin International Conference.
Dedicated to the 120th Anniversary of Emil Artin,
Yerevan, the Republic of Armenia, May 27June 2, 2018

São Paulo School of Advanced Science on Contemporary Logic, Rationality and InformationSPLogiC,
organized by the Centre for Logic, Epistemology and the History of Science of the University of Campinas, Brazil,
July 2020

Nonclassical LogicsTheory and Applications, Lodz, (Poland) September 2628, 2020
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 185 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).
Reprinted: Springer Business, 2013
 (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,
26.1 (2013) 409424.
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 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*algebras,
Forum Mathematicum,
28.6 (2016) 11111130
doi 10.1515/forum20150177

Łukasiewicz logic and MValgebras:recent results,
South American Journal of Logic,
Special issue
honoring Francisco Miraglia on his 70th birthday,
2 (2016) 443457. ISSN: 24466719

Coherence of de Finetti coherence,
Synthese, 194 (2017) 40554063.
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,
221 (2017) 908934,
http://dx.doi.org/10.1016/j.jpaa.2016.08.011

(with L. M. Cabrer)
Classifying orbits of the affine group over the
integers,
Ergodic Theory and Dynamical Systems,
37 (2017) 440453,
doi 10.1017/etds.2015.45

(with L. M. Cabrer)
Germinal theories in Łukasiewicz logic,
Annals of Pure and Applied Logic,
168 (2017) 11321151,
doi 10.1016/j.apal.2016.11.009

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

(with W.Sieg)
Turing, the Mathematician,
Chapter 2 in:
Philosophical Explorations of the Legacy of
Alan Turing: Turing 100,
J. Floyd, A. Bokulich (Eds.),
Boston Studies in the Philosophy and
History of Science, 324 (2017) 3962.
Springer International
Publishing AG (2017), ISBN 3319532804, 9783319532806,
doi 10.1007/97833195328062

Fans, decision problems and generators of free abelian
lgroups,
Forum Mathematicum,
29.6 (2017) 14291439, doi
10.1515/forum20160255

De Finetti coherence and the
product law for independent events,
Synthese, 196 (2019) 265271.
Published online: 24 June 2017,
doi 10.1007/s1122901714713

Recognizing free generating sets of lgroups,
Topical collection ``In memory of Bjarni Jonsson",
(J. B. Nation, Editor),
Algebra Universalis.
June 2018, 79:24.
doi 10.1007/s0001201805112

Betting on continuous independent events,
Soft Computing, 23 (2019) 22892295.
Published online: 19 June 2018, doi
10.1007/s0050001833236

Coherence of the product law for independent continuous events,
Chapter 10, pp 207212, in:
Contradictions, from Consistency
to Inconsistency,
W. Carnielli and J. Malinowski (Eds.),
Trends in Logic, Vol. 47,
Springer International Publishing,
Springer Nature Switzerland AG, (2018),
ISBN 9783319987965,
doi 10.1007/978331998797210

Word problems in Elliott monoids,
Advances in Mathematics,
335 (2018) 343371,
doi 10.1016/j.aim.2018.07.015

Triangles in diophantine approximation,
Journal of Number Theory,
201 (2019) 176189, doi 10.1016/j.jnt.2019.02.011

Preservation properties of de Finetti coherence,
Journal of Applied Logics
IfCoLog Journal of Logics and their Applications,
6(2) (2019) 381394,
ISBN 9781848903012

Computing on LatticeOrdered Abelian Groups,
In: Blass A., Cegielski P.,
Dershowitz N., Droste M., Finkbeiner B. (Eds.)
Fields of Logic and Computation
III.
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science,
Vol. 12180. Springer,
Cham, pp. 210225.
First Online: 23 May 2020,
doi 10.1007/9783030480066_15

Complete and computable orbit invariants
in the geometry of the affine
group over the integers,
Annali di Matematica pura ed applicata, 199.5
(2020) 18431871, doi 10.1007/s1023102000945y

What the Łukasiewicz axioms mean,
The Journal of Symbolic Logic,
85(3) (2020) 906917.
Published online by Cambridge
University Press: 30 October 2020,
doi 10.1017/jsl.2020.74

Rota's Fubini lectures: The first problem,
Advances in Applied Mathematics,
125 (2021) 102153. Available online 8 January 2021,
doi 10.1016/j.aam.2020.102153

The differential of probabilistic entailment,
Annals of Pure and Applied
Logic, 172 (2021) 102945. Available online
19 January 2021,
doi 10.1016/j.apal.2021.102945

Consequence relations with real truthvalues,
In: Arnon Avron on Semantics
and Proof Theory of NonClassical Logics. Outstanding Contributions
to Logic, Vol. 21, Springer, New York, (2021), ISBN9783030712570

Bratteli diagrams via the De ConciniProcesi theorem, Communications
in Contemporary Mathematics, 2021,
doi 10.1142/S021919972050073X