Daniele Mundici

Department of Mathematics and Computer Science "Ulisse Dini", University of Florence
Viale Morgagni 67/A, 50134 Florence, Italy

• Curriculum vitae (as of March 2023)

Biographical and Personal Information

• Married to Maria Cecilia Frattin
• Father of Sara and Elena
• Grandfather of Lihuén
• Italian citizen

Education

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

Employment Record

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

Academies

• Académie Internationale de Philosophie des Sciences, International Academy of Philosophy of Science, AIPS, Bruxelles, Member since 1995
• Academia Nacional de Ciencias Exactas, Físicas y Naturales, 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, 1994-1998
• President, Kurt Gödel Society, KGS, Vienna, 1992-1996
• Member of the Centro de Logica, Epistemologia e História da Ciência, CLE, UNICAMP, State University of Campinas, Brazil, 1995-present
• Member of the Scientific Council of the European Association for Computer Science Logic, EACSL, 1993-2005
• Member of the Advisory Board of the Centro de Algebra, CAUL, University of Lisbon, 2003-2014
• Member of the Advisory Board for the Doctoral Program Logical Methods in Computer Science at TU Vienna, 2014-2019
• Distinguished Visiting Professor, University of Bahía Blanca, UNS, Argentina, 1999

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", (GNSAGA-INDAM), 1997-2013
• Coordinator for the University of Florence of the IRSES European Project on "Mathematical Tools for the Management of Uncertain and Vague Information", MaToMUVI, (Argentina, Brazil, Italy, Spain), 2011-2014
• Scientific Coordinator of the Marie-Curie IEF Project on "Topological Representations of MV-algebras", (Acronym: TopRepMVAlg), 2011-2012
• Coordinator (Florence Research Unit) of the National PRIN-COFIN Project on "Many-Valued Logic", Italian Ministry of Science and Technology, years: 2002 , 2004, 2006-2008, 2010-2011
• Coordinator (Milan Research Unit) of the National PRIN-COFIN Project on "Many-Valued Logic", Italian Ministry of Science and Technology, years: 2000 and 1994-1998
• Vice-President, European Community Action Cost 15 on "Many-valued Logics for Computer Science Applications", 1994-1999
• Member of the Standing Committee, Schools of the European Foundation on Logic, Language and Information, ESSLI, 1995-1998
• Coordinator of the Ph.D. program in Computer Science of the Department of Computer Science of the University of Milan, 1992-2000
• Italian Coordinator of the bilateral project with Austria on "Analytic Methods in Many-valued Logic", 1998-2001
• Italian Coordinator of the bilateral project of scientific and technological cooperation with Argentina on "Many-valued Logic", signed in Buenos Aires, 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, 1993-present
• Trends in Logic, Kluwer-Springer, Book Series Editor, 1995-present
• Journal of Algebra and its Applications, World Scientific, Editor, 2002-present
• Journal of Multiple-valued Logic and Soft Computing, OCP Publishers, Editor, 2002-present
• International Journal of Approximate Reasoning, Elsevier, Associate Editor, 2012-present
• Studies in Logic, Sun Yat-sen University (Guangzhou) and Chinese Association of Logic, Editor, 2008-present
• Advances in Applied Mathematics, Elsevier, Editor, 1995-2010
• Journal of Logic, Language and Information, Kluwer, Editor, 1991-1999
• Annals of Pure and Applied Logic, North-Holland, Advisory Editor, 1990-1995
• International Schools for Computer Science Researchers, Oxford University Press, Book Series Editor, 1993-1997

Proceedings Editor

• (with G. Gottlob and A. Leitsch) Computational logic and proof theory. Proceedings of the Third Kurt Gödel Colloquium (KGC '93) held at Masaryk University, Brno, Czech Republic, August 24-27, 1993. Lecture Notes in Computer Science, 713, 1993 ISBN: 3-540-57184-1
• (with A. Marcja and M. Boffa) Joint AILA-KGS Model Theory Meeting. Papers from the meeting held in Florence, August 21-24, 1995. Annals of Pure and Applied Logic, 88, 1997, pp. i-iv and 95-277
• (with J. Van Benthem, M. Dalla Chiara and K. Doets) Logic and Scientific Methods, Volume One of the 10th International Congress of Logic, Methodology and Philosophy of Science held in Florence, August 19-25, 1995. Florence, August 1995. Synthese Library, 259, Kluwer Academic Publishers, Dordrecht, 1997 ISBN: 0-7923-4383-2
• (with J. Van Benthem, M. Dalla Chiara and K. Doets) Structures and Norms in Science, Volume Two of the 10th International Congress of Logic, Methodology and Philosophy of Science held in Florence, August 19-25, 1995. Synthese Library, 260, Kluwer Academic Publishers, Dordrecht, 1997 ISBN: 0-7923-4384-0
• (with P. Miglioli, U. Moscato, M. Ornaghi) Theorem Proving with Analytic Tableaux and related methods. 5th International Workshop (TABLEAUX '96) held in Terrasini, Palermo, Italy, May 15-17, 1996. Lecture Notes in Artificial Intelligence, 1071, 1996 ISBN: 3-540-57184-1
• L'insegnamento della Logica, (The Teaching of Logic), Jointly published by the Italian Society of Logic and its Applications, AILA, and the Italian Ministry of Education, 1996
• (with G. Gottlob and A. Leitsch) Computational Logic and Proof Theory, Proceedings 5th Gödel Colloquium, KGC '97 Vienna, Austria, August 25-29, 1997, Lecture Notes in Computer Science, 1289, 1997
• Many-valued logics, Studia Logica, 61, 1998, pp. iii-iv and 1-169
• (with M. Dalla Chiara) Selected papers in honour of Ettore Casari on his 65th birthday, Studia Logica, 62, 1999, pp. i-iv and 117-314
• Logics of Uncertainty, special issue of Journal of Logic, Language and Information, 9, 2000, pp. i-ii and 1-132
• (with S. Ghilardi) Constructivism in non-classical logics and computer science. In memoriam Pierangelo Miglioli. Selected papers from the International Meeting held in Mantova, Italy, September 30-October 2, 2000. Studia Logica, 73, 2003, pp. i-ii and 1-157
• (with F. Cicalese and U. Vaccaro) 1st International Workshop on Combinatorics of Searching, Sorting, and Coding (COSSAC '01). Papers from the workshop held in Ischia, September 7-9, 2001. Discrete Applied Mathematics, 137, 2004, pp. iii-xii and 1-123
• (with Shier Ju) Many-valued logic and cognition, Studia Logica, 90.1, 2008
• (with E. Agazzi and I. M .L. D'Ottaviano) Proceedings of the CLE-AIPS event honoring Newton da Costa, Campinas, São Paulo Brazil, August 2009. Proceedings are published in the special issue (Vol. 97) 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, 100, 2012
• (with A. di Nola, C.Toffalori and A.Ursini) Coherence and Truth. Special issue in memoriam Franco Montagna, Soft Computing, 21, 2017

Visiting

• University of Buenos Aires, UBA (several times)
• Institute for Advanced Mathematics, IAM, Buenos Aires (several times)
• State University of Campinas, UNICAMP, Brazil (several times)
• Czech Academy of Sciences, Prague (several times)
• Center of Algebra, University of Lisbon, CAUL (several times)
• ZIF, Bielefeld (2000, 2002, 2004)
• Humboldt University of Berlin (1989, 2000)
• University of La Plata (2000, 2001)
• Center for Machine Perception, Charles University of Prague (2003, 2008, 2022)
• Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China (2007, 2016)
• Institute of Advanced Studies of the University of São Paulo (1991)
• Banach Center of Warsaw (1996)
• JAIST, Japan Institute of Science and Technology, Kanazawa (2002)
• Institute for Catalan Studies, Barcelona (1997)
• Math. Dept. Beihang University, Beijing, China (2011)
• New York University, Abu Dhabi (2017)
• Invited talks and/or short visits for scientific cooperation (a selection): Amsterdam, Angers, 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), Stanford, Utrecht, Nashville (Vanderbilt University), 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, 1984-1993)
• Computer Science Logic, CSL (Kaiserslautern 1989, Heidelberg 1990, Bern 1991)
• Meeting of the Omega group, Freiburg, June 1981, Stanford, April 1982. In preparation of the book Model-Theoretic Logics, Springer, 1985.
• Open Days in Model Theory and Set Theory, Jadwisin, Poland, September 1981
• Table Ronde de Logique, Paris VII, October 15-16, 1983
• VII SLALM, Latin American Symposium in Mathemathical Logic, CLE-UNICAMP, Campinas, Brazil, July 29-August 2, 1985
• Ordered algebraic structures, Paris VII, May 5, 1987
• Logic in Computer Science, CIRM, Marseille-Luminy, June 20-24, 1988
• Knowledge, Belief and Strategic Interaction, Castiglioncello, Italy, June 6-10, 1989
• Workshop on Boolean Functions, Propositional Logic and AI Systems, Ulm, Germany, September 4-5, 1989
• MFCS, Mathematical Foundations of Computer Science, Banská Bystrica, Slovakia, August 27-30, 1990
• INDAM meeting on Effectiveness in Algebra and in Logic, Cortona, Italy, October 8-11, 1990
• Second International School on the Philosophy of Science, International Center for Theoretical Physics, ICTP, Trieste, Italy, 28 October-9 November, 1991
• Semester on Algebraic Methods in Logic and their Computer Science Applications, S. Banach International Math. Center, Warsaw, November 12-22, 1991
• IX SLALM, Latin American Symposium in Mathematical Logic, In memoriam A. Raggio, UNS, Bahía Blanca, Argentina, August 3-8, 1992
• Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993
• Order in Algebra and Logic with Applications, jointly with Istituto Italiano per gli Studi Filosofici (Naples), Oxford, March 22-23, 1995
• Model Theory and Algebra, Dresden, Germany, June 8-10, 1995 (opening address)
• X SLALM, Latin American Symposium in Mathematical Logic, Universidad de los Andes, Bogotà, Colombia, July 24-29, 1995
• International Symposium Order in Algebra and Logic, jointly with Istituto Italiano per gli Studi Filosofici (Naples), Galway, Republic of Ireland, April 10-11, 1996
• Brazilian Logic Conference, XI EBL jointly with WoLLIC'96, Universidade Federal de Bahia, Salvador, Brazil, May 6-10, 1996
• Kurt Gödel Legacy, Brno, Czech Republic, August 26-28, 1996
• "Waves", in honor of Giuliano Toraldo di Francia, Florence, September 15-17, 1996
• Logic, Algebra and Computer Science. In memoriam Helena Rasiowa. Warsaw, December 4-7, 1996
• IFSA Symposia: Bruxelles 1991, Prague 1997, Liptovski Mikulasz (Slovakia) 2000
• Order in Algebra and Logic with Applications, jointly with Istituto Italiano per gli Studi Filosofici (Naples), CIRM, Marseille-Luminy, April 22-24, 1997
• The Logic of Soft Computing, Prague, June 26-29, 1997
• Symposium on Logic and Computer Science, ENC '97, Univ. Autónoma, Querétaro (Mexico), September 12-13, 1997
• Order in Algebra and Logic with Applications, jointly with Istituto Italiano per gli Studi Filosofici (Naples), Celebrating Mario Curzio, Barcelona, January 26-29, 1998
• COST Action 15 workshop on Many-valued Logic, Liége, Belgium, April 23-26, 1998
• XI SLALM, Latin American Symposium in Mathematical Logic, Universidad de Los Andes, Mérida, Venezuela, July 6-10, 1998
• Jaskowski Symposium, Toruń, Poland, July 15-17, 1998 (opening address)
• ASL European Logic Colloquium. Special session on many-valued logic, Prague, August 9-15, 1998
• V Congress Dr. António Monteiro, UNS, Bahía Blanca, Argentina, April 21-23, 1999 (opening address)
• Grigore Moisil Symposium, Bucharest, May 6-9, 1999 (opening address)
• Workshop in Logic and Physics of Computation, International School of Mathematics G. Stampacchia, Ettore Majorana foundation and centre for scientific culture, Erice, Sicily, Italy, July 29-August 1, 1999
• In memoriam Gian-Carlo Rota, Maratea, Italy, October 6-7, 1999
• Second World Congress on Paraconsistency, in honor of Newton C.A. da Costa on his 70th birthday, USP, São Paulo, May 12-19, 2000
• Perspectives on Adaptivity and Learning. Workshop at ZIF, Bielefeld, Germany, September 25-29, 2000
• Congress in memoriam Pierangelo Miglioli, Mantua, Italy, October 1-2, 2000
• Workshop on Lattice ordered groups and f-rings, Gainesville, Florida, USA, February 28-March 3, 2001
• Congress of the International Quantum Structures Association, IQSA, Cesena, Italy, March 31-April 1, 2001
• XIV Coloquio Latinoamericano de Algebra, La Falda, Córdoba, Argentina, August 1-10, 2001
• SOFSEM, Theory and Practice of Informatics, Piestany, Slovakia, December 1-3, 2001
• Information in natural sciences, social sciences, humanities and engineering, ZIF, Bielefeld, Germany, February 27-March 1, 2002
• 32nd IEEE International Symposium for multiple-valued logic, Boston, Massachusetts, USA, May 15-17, 2002
• International Conference on Modern Algebra, honoring the 60th birthday of Ralph McKenzie, Vanderbilt Univ., Nashville, Tennessee, USA, May 22-25, 2002
• First Italian-American UMI-AMS meeting, Pisa, Italy, June 13, 2002
• The Logic of Soft Computing, II, Capri, Italy, October 19-21, 2002
• Algebra and Substructural Logics, JAIST, Kanazawa, Japan, November 10-13, 2002 (opening address)
• Conference on Lattices, Universal Algebra and Algebraic Logic, CAUL, Lisbon, May 28-30, 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 20-21, 2003
• Residuated Structures and many-valued Logics, Patras, Greece, June 2-4, 2004
• The Challenges of Semantics, Vienna, July 12-17, 2004
• Algebra, Logic and Cybernetics, in honor of the 75th anniversary of the birth of A.I. Kokorin, Irkutsk, Russia, August 25-28, 2004
• First Indian Conference on Logic and its Relationships with other Disciplines, Indian Institute of Technology, IIT, Mumbay, India, January 8-13, 2005
• International Conference Algebra and its Applications, Athens, Ohio, USA, March 22-25, 2005
• Arbeitstagung Allgemeine Algebra (AAA), Vienna, May 26-29, 2005
• The Logic of Soft Computing, IV ERCIM Soft Computing Workshop, Ostrava, Czech Republic, October 7-10, 2005
• Conferences on Ordered structures, Nashville (Vanderbilt Univ.), and Gainesville (Univ. Florida), USA, February 27-March 13, 2006
• Logic, Models, Computer Science, in memoriam Sauro Tulipani, Camerino, Italy, April 20-22, 2006
• 7th International Conference on Applied Artificial Intelligence, FLINS06, Genoa, Italy, August 29-31, 2006
• Towards Mathematical Philosophy, Trends in Logic IV, Toruń, Poland, September 1-4, 2006
• Algebra and substructural logics, in honor of Andrzej Wroński, Krakow, Poland, November 6-8, 2006
• IX Congreso António Monteiro, UNS, Bahía Blanca, Argentina, May 30-June 1, 2007
• Colloquium in honor of António Monteiro, Lisbon, June 4-5, 2007
• Order, Algebra and Logics, Vanderbilt Univ., Nashville, Tennessee USA, June 13-16, 2007
• Trends in Logic V, Many-Valued Logic and Cognition, Guangzhou, China, July 6-9, 2007
• CLE 30th anniversary, UNICAMP, Campinas, Brazil, September 11-22, 2007
• 18th Congress of the Italian Mathematical Union, UMI, Bari, Italy, September 28-29, 2007
• Shanks workshop on Proof Theory and Algebra, Vanderbilt Univ., Nashville, USA, March 6-8, 2008
• Residuated Structures in Algebra and Logic, Institute for Advanced Mathematics, IAM, Buenos Aires, April 16-19, 2008 (opening address)
• Nonclassical Logics and their Applications, Scuola Normale Superiore Pisa, Centro Ennio De Giorgi, Pisa, Italy, April 24-26, 2008
• The Paul Conrad legacy, Univ. of Florida, Gainesville, USA, May 5-8, 2008
• Conference in honor of Beppo Levi, Istituto Italo Latino Americano, Rome, June 11, 2008
• LATD08, Logic, Algebra and Truth Degrees, Siena, Italy, September 8-11, 2008
• Conference in honor of Francesc Esteva, Univ. Autònoma Barcelona, November 7-8, 2008
• The Legacy of 30 Seminars, Linz, Austria, February 4-7, 2009
• The digital footprint of Gian-Carlo Rota, Milan, February 16-18, 2009
• Shanks Workshop on Ordered Groups in Logic, Vanderbilt Univ., Nashville, Tennessee, USA, March 21-22, 2009, (closing address)
• Algebra and Probability in many-valued Logics, Darmstadt, Germany, May 7-9, 2009, (opening address)
• ORD/OAL, a celebration of Charles Holland, Bowling Green, Ohio, USA, June 15-18, 2009, (closing address)
• Tenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09, Verona, Italy, July 1-3, 2009
• Science, Truth and Consistency, CLE-AIPS event in celebration of the 80th birthday of Newton C.A. da Costa, Campinas, Brazil, August 23-28, 2009
• Logical Foundations of Rational Interaction, Scuola Normale Superiore Pisa, Centro E. De Giorgi, Pisa, Italy, November 1-4, 2009
• "Beauty of Logic", honoring Petr Hájek on his 70th birthday, Prague, February 6-7, 2010
• ISMVL 2010, Int. Symp. Multiple Valued Logic, Barcelona, May 27-28, 2010
• ASUBL4, Algebra and Substructural Logics 4, JAIST, Kanazawa, Japan, June 5-11, 2010
• MFCS-CSL, (Mathematical Foundations of Computer Science, jointly with Computer Science Logic) Brno, Czech Republic, August 28-29, 2010 (opening address)
• Conference on Order in Algebra and Logic, Trends in Logic VIII, UBA, Buenos Aires, October 13-15, 2010 (opening address)
• Uncertainty and Vagueness, Salerno, Italy, May 18-20, 2011
• Second International Conference on Order, Algebra, and Logics: honoring Ralph McKenzie, Hiroakira Ono, and Andrzej Wroński, Krakow, Poland, June 6-10, 2011
• Ordered groups and lattices in algebraic logic, in memoriam Leo Esakia, Trends in Logic X, Tbilisi, Georgia, September 20-23, 2011
• Concepts and Meaning. Workshop in honor of Alexander Leitsch on his 60th birthday, Vienna Center for Logic and Algorithms, May 4-5, 2012
• XV Latin American Symposium on Mathematical Logic, SLALM, Universidad de Los Andes, Bogotá, Colombia, June 4-8, 2012
• ManyVal '12, honoring Antonio Di Nola on his 65th birthday, Salerno, Italy, July 4-7, 2012
• Philosophy and Mathematics of Uncertainty and Vagueness, CLE-UNICAMP, Campinas, Brazil, August 6-15, 2012
• Logic, Algebra and Truth-Degrees, LATD 2012, JAIST, Kanazawa, Japan, September 11-14, 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 3-7, 2013
• Fourth International Workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), Utrecht, The Netherlands, April 18-20, 2013
• Mathematics in Armenia. Advances and Perspectives, II, dedicated to the 70th anniversary of the foundation of the Armenian Academy of Sciences, Tsaghkadzor, Armenia, August, 24-31, 2013
• Algebra Workshop: 34 years of CAUL, Lisbon, 18-22 November 2014 (opening address)
• BLAST, Las Cruces, New Mexico, USA, January 5-9, 2015, (opening address)
• Final meeting of the IRSES MaToMuVi European Project, UBA, Buenos Aires, February 25-27, 2015
• Ordered Algebraic Structures, Jupiter, Florida, USA, May 8-10, 2015
• Topology, Algebra, and Categories in Logic, TACL 2015, Ischia, Italy, June 21-26, 2015 (closing address)
• New direction in inverse semigroups, Fields Institute, Ottawa, Canada, June 1-4, 2016
• SYSMICS 2016, Syntax meets Semantics, kickoff meeting, Barcelona, September 5-9, 2016, (an open lecture)
• Consistency, Contradiction, Paraconsistency and Reasoning, 40 years of CLE. Trends in Logic XVI, CLE, UNICAMP, Campinas, Brazil, September 12-15, 2016 (closing address)
• WOLC2016. Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition, Guangzhou, China, December 5-9, 2016
• XIV Congreso António Monteiro, Univ. Nacional del Sur, Bahía Blanca, Argentina, May 31-June 2, 2017 (opening address)
• Geometry and nonclassical logic, SYSMICS meeting, University of Salerno, Fisciano, Italy, September 5-8, 2017
• ISRALOG17, Research Workshop of the Israel Science Foundation, Haifa, Israel, October 15-17, 2017
• Celebrating Alexander Leitsch on his 60th birthday, Tech. Univ., Vienna, October 20, 2017
• Emil Artin International Conference. Dedicated to the 120th Anniversary of Emil Artin, Yerevan, Republic of Armenia, May 27-June 2, 2018
• Vojtech Jarnik International Mathematical Competition, Ostrava, Czech Republic, April 11-14, 2018
• UNILOG 2018, 6th World Congress and School on Universal Logic, Vichy, France, June 21-26, 2018
• Logic Colloquium 2018, Special Session on nonclassical logics, Udine, Italy, July 22-27, 2018
• Duality in Algebra and Logic, SYSMICS workshop, Chapman University, Orange, CA, USA, September 14-17, 2018
• ManyVal, Bucharest, October 31-November 4, 2019
• Creativity, honoring Newton C.A. da Costa, Rio de Janeiro, December 8-13, 2019
• São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information-SPLogiC, organized by the Centre for Logic, Epistemology and the History of Science of the University of Campinas, Brazil, July 2020. (Cancelled because of Covid-19)
• Sixteenth International Tbilisi Summer School in Logic and Language, Sepember 9-13, 2020, and Logic, Algebra and Truth-Degrees, LATD congress, Tbilisi, Georgia, September, 14-19, 2020. (Both cancelled because of Covid-19)
• Finnish Mathematics Days, Tampere, Finland, January 4-5, 2022 (talk given online)
• Nonclassical Logics - Theory and Applications, Łódź, Poland, March 14-18, 2022
• The Logic of Software. A Tasting Menu of Formal Methods, (Celebrating Reiner Hähnle’s 60th birthday), Darmstadt, Germany, 4 July, 2022
• WCP2022, 6th World Congress on Paraconsistency, Toruń, Poland, 5-8 September, 2022
• LATD 2022 and MOSAIC kickoff meeting, Paestum (Salerno, Italy), 9-10 September, 2022.
• Workshop on Finite Model Theory and Many-Valued Logic: Challenges and Interactions. A three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland, November 10-12, 2022. Virtual, on Zoom, (keynote speaker)

Selected 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 many-valued Reasoning, UBA, Buenos Aires, September-October 1998
• Algebraic Logic, Mérida, Venezuela, July 1998
• An invitation to many-valued logic, UNS, Bahía Blanca, Argentina, April 1999
• Many-valued logic: from coding theory to operator algebras, Third Panhellenic Logic Symposium, Anogia, Greece, July 2001
• Combinatorial fans, lattice-groups and many-valued logic, 47th Séminaire Lotharingien de Combinatoire, Bertinoro, Italy, October 2001
• Logic, Collegio Ghislieri, Pavia, Italy, 2001-2002
• The logic of imprecisely defined functions, International School on Neural Nets, 5th Course, Ettore Majorana Foundation, Erice, Italy, March 2002
• Many-Valued Logic, First International Conference on Logic and its Applications, Mumbay, January 2005,
• MV-algebras, Symposium on Ordered Structures in Many-valued Logic, Sorrento, Naples, May 2006
• Recent results in many-valued logic, UNS, Bahía Blanca, Argentina, May 2007
• An introduction to many-valued logic, Sun Yat-sen 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
• Five Lectures on “Probability in Boolean and in Many-valued Logic: Axioms, Definitions and Consistency Theorems” São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information - SPLogiC - UNICAMP, Campinas, Brazil, February 13-17, 2023

Referee for

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

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, Coordinator of the Area of Computation, 1992,
• 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, Chairman of Program Committee, 1995
• 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 , Member of the General Program Committee, 1995
• AILA-KGS Meeting on Model Theory, Florence, Chairman of the Scientific Committee,1995
• Gödel Colloquium, Brno, Chairman of the Scientific Committee, 1996
• Theorem Proving with Analytic Tableaux, Palermo, Italy, 1996
• Order in Algebra and Logic VI, in honor of Giuseppe Tallini, Galway, Ireland, Chairman of the Program Committee, 1996
• Computational logic and proof theory, Gödel Colloquium, Vienna, Chairman of the Scientific Committee, 1997
• Order in Algebra and Logic VII, CIRM Marseille-Luminy, France, , Chairman of Program Committee, 1997
• Meeting on Multiple-valued logic, Dagstuhl, Germany, co-organizer, October 1997
• 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, Program Committee member, Chairman of a Special Session on Many-valued and Fuzzy Logic, 1998
• Workshop on Logic and Physics of Computation, Ettore Majorana Centre for Physics, Erice, Italy, Director, 1999
• Constructivism in non-classical 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, Chairman of the Program Committee, 2001
• SOFSEM, Prague, 2000, 2001, 2002
• Logic, Methodology and Philosophy of Science, Oviedo member of the Committee on Philosophical Logic, 2003
• First Florence-Vienna Workshop on Logic and Computation, Florence, Chairman of the Program Committee, January 2004
• General Theory of Information Transfer, ZIF, Bielefeld, April 2004, co-organizer
• Beauty of Logic, Celebrating Petr Hàjek's 65th birthday, Prague, Chairman of the Program Committee, February 2005
• Second Vienna-Florence meeting in Logic and Computation, Florence, Chairman of the Program Committee, November 2005
• Gödel Prize for Young Scholars, Vienna, Member of the Selection Committee, April 2006
• Residuated structures: algebra and logic, Buenos Aires, April 2008
• CLE-AIPS Event in honor Newton da Costa, UNICAMP Campinas, SP, Brazil, co-chair of the Program Committee, August 2009
• 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, Ruhr-Universität, Bochum, Germany, June 2012
• ManyVal 2013, Prague, Member of the Steering Committee
• Beyond True and False: Logic, Algebra and Topology, Florence, December 3-5, 2014
• ManyVal 2015, Les Diablerets, Switzerland, December 11-13, 2015
• Coherence and Truth - In memoriam Franco Montagna, Pontignano, Siena, Italy, December 16-18, 2015
• Trends in Logic XVI, CLE-UNICAMP, 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 27-June 2, 2018
• Sixteenth International Tbilisi Summer School in Logic and Language, Sepember. 9-13, 2020, and Logic, Algebra and Truth-Degrees, LATD congress, Tbilisi, Georgia, September, 14-19, 2020
• Nonclassical Logics - Theory and Applications, Łódź, Poland, March 14-18, 2022
• Strong and Weak Kleene logics, Trends in Logic XXII, Cagliari, Italy, July 18-20, 2022
• WCP2022, World Congress on Paraconsistency, Toruń, Poland, September 5-8, 2022

Ph D Thesis Advisor

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

Publications

• 5 books authored
• 6 books edited
• 9 special issues edited
• over 193 articles published

Scientific Papers

1. Robinson consistency theorem in soft model theory, Rendiconti Accademia Lincei Mat. Appl., 67 (1979) 383-386   http://www.bdim.eu/item?id=RLINA_1979_8_67_6_383_0&fmt=pdf
2. Natural limitations of algorithmic procedures in logic, Rendiconti Accademia Lincei Mat. Appl., 69 (1980) 101-105   http://www.bdim.eu/item?id=RLINA_1980_8_69_3-4_101_0&fmt=pdf
3. Ergodic undefinability in set theory and recursion theory, Proceedings of the American Mathematical Society, 82 (1981) 107-111   https://www.jstor.org/stable/2044326
4. Robinson's consistency theorem in soft model theory, Transactions of the American Mathematical Society, 263 (1981) 231-241   https://www.jstor.org/stable/1998653
5. Irreversibility, uncertainty, relativity and computer limitations, Il Nuovo Cimento, Europhysics J., 61 B, n. 2 (1981) 297-305. Published 12 October 2007   https://link.springer.com/article/10.1007%2FBF02721331
6. Applications of many-sorted Robinson consistency theorem, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 27 (1981) 181-188   https://doi.org/10.1002/malq.19810271103
7. A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes, Studia Logica, 40 (1981) 253-267   https://www.jstor.org/stable/20015026
8. An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, J. Symbolic Logic, 46 (1981) 523-530. Published online by Cambridge University Press: 12 March 2014   https://doi.org/10.2307/2273754
9. Craig's interpolation theorem in computation theory, Rendiconti Accademia Lincei Mat. Appl., 70 (1981) 6-11   http://www.bdim.eu/item?fmt=pdf&id=RLINA_1981_8_70_1_6_0
10. Duality between logics and equivalence relations, Transactions of the American Mathematical Society, 270 (1982) 111-129   https://www.jstor.org/stable/1999763
11. Compactness, interpolation and Friedman's third problem, Annals of Mathematical Logic, 22 (1982) 197-211. Available online 1 October 2002   https://doi.org/10.1016/0003-4843(82)90021-3
12. Interpolation, compactness and JEP in soft model theory, Archiv für Mathematische Logik und Grundlagenforschung, 22 (1982) 61-67   https://doi.org/10.1007/BF02318027
13. Complexity of Craig's interpolation, Fundamenta Informaticae, 5 (1982) 261-278
14. L-embedding, amalgamation and L-elementary equivalence, Rendiconti Accademia Lincei Mat. Appl., 72 (1982) 312-314   http://www.bdim.eu/item?id=RLIN_1982_8_72_6_312_0&fmt=pdf
15. Compactness = JEP in any logic, Fundamenta Mathematicae, 116 (1983) 99-108   http://matwbn.icm.edu.pl/ksiazki/fm/fm116/fm116110.pdf
16. A lower bound for the complexity of Craig's interpolants in sentential logic, Archiv für Mathematische Logik und Grundlagenforschung, 23 (1983) 27-36   https://doi.org/10.1007/BF02023010
17. Natural limitations of decision procedures for arithmetic with bounded quantifiers, Archiv für Mathematische Logik und Grundlagenforschung, 23 (1983) 37-54   https://link.springer.com/content/pdf/10.1007%2FBF02023011.pdf
18. Δ-tautologies, uniform and nonuniform upper bounds in computation theory, Rendiconti Accademia Lincei Mat. Appl., 75 (1983) 99-101   http://www.bdim.eu/item?id=RLIN_1983_8_75_3-4_99_0&fmt=pdf
19. Abstract model theory and nets of C*-algebras: noncommutative interpolation and preservation properties, Lecture Notes in Math., 1103 (1984) 351-377   https://doi.org/10.1007/BFb0099394
20. A generalization of abstract model theory, Fundamenta Mathematicae, 124 (1984) 1-25   http://matwbn.icm.edu.pl/ksiazki/fm/fm124/fm12411.pdf
21. Embeddings, amalgamation and elementary equivalence: the representation of compact logics, Fundamenta Mathematicae, 124 (1984) 109-122   http://matwbn.icm.edu.pl/ksiazki/fm/fm124/fm12415.pdf
22. NP and Craig's interpolation theorem, In: Proceedings Logic Colloquium '82, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, (1984) pp. 345-358. Available online 27 June 2014   https://doi.org/10.1016/S0049-237X(08)71822-6
23. Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity, Annals of Pure and Applied Logic, 27 (1984) 265-273. Available online 21 March 2002   https://doi.org/10.1016/0168-0072(84)90029-0
24. Model-theoretic logics, AF C*-algebras and many-valued calculi. In: Scienza e Filosofia, Saggi in Onore di Ludovico Geymonat, Garzanti, Milano, (1985) pp. 480-493 ASIN B002AAFF7G
25. Other Quantifiers: an Overview. Chapter VI In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985) pp. 211-234. Reprinted: Cambridge University Press, 2017   https://doi.org/10.1017/9781316717158.010
26. (with J. A. Makowsky) Abstract Equivalence Relations. Chapter XIX In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985) pp. 717-746. Reprinted: Cambridge University Press, 2017.   https://doi.org/10.1017/9781316717158.027
27. Algebraic many-valued logic and models of physical systems. In: Atti del Congresso Logica e Filosofia della Scienza, oggi, San Gimignano, E. Casari et al., Eds., December 7-11, 1983, Vol. 1, CLUEB, Bologna, (1986) pp. 83-93
28. MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math.Japonica, 31 (1986) 889-894
29. Inverse topological systems and compactness in abstract model theory, J. Symbolic Logic, 51 (1986) 785-794   https://www.jstor.org/stable/2274032
30. Mapping abelian l-groups with strong unit one-one into MV-algebras, J. Algebra, 98 (1986) 76-81. Available online 20 July 2004   https://doi.org/10.1016/0021-8693(86)90015-3
31. Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Functional Analysis, 65 (1986) 15-63. Available online 7 September 2004   https://doi.org/10.1016/0022-1236(86)90015-7
32. Bounded commutative BCK-algebras have the amalgamation property, Math. Japonica, 32 (1987) 279-282
33. Every abelian l-group with two positive generators is ultrasimplicial, J. Algebra, 105 (1987) 236-241. Available online 2 September 2004   https://doi.org/10.1016/0021-8693(87)90188-8
34. (with F. Ammannati, P. Mennonna, R. De Dominicis, G. Dal Pozzo, C. Fonda, G. Pazzaglini, B. Lehmann) CT-guided stereotactic biopsy of endocranial lesions, La Radiologia Medica, 74 (1987) 34-38
35. A simple construction of Robinson equivalence relations, Proceedings of the American Mathematical Society, 101 (1987) 139-141   https://www.jstor.org/stable/2046565
36. The Turing complexity of AF C*-algebras with lattice-ordered K₀, Lecture Notes in Computer Science, 270 (1987) 256-264   https://doi.org/10.1007/3-540-18170-9_171
37. Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987) 145-153. Available online 28 March 2002   https://doi.org/10.1016/0304-3975(87)90083-1
38. The derivative of truth in Łukasiewicz sentential calculus. In: Proc. VII Latin American Symp. on Math. Logic, Contemporary Mathematics, 69 (1988) pp. 209-227
39. Free products in the category of abelian l-groups with strong unit, J. Algebra, 113 (1988) 89-109. Available online 2 September 2004   https://doi.org/10.1016/0021-8693(88)90185-8
40. Farey stellar subdivisions, ultrasimplicial groups, and K₀ of AF C*-algebras, Advances in Mathematics, 68 (1988) 23-39. Available online 1 July 2004   https://doi.org/10.1016/0001-8708(88)90006-0
41. (with J. Czyzowicz and A. Pelc) Solution of Ulam's problem on binary search with two lies, J.Combinatorial Theory, Series A, 49 (1988) 384-388   https://core.ac.uk/download/pdf/81211967.pdf
42. Polynomial time complexity of certain AF C*-algebras. In: Atti del Congresso: "Temi e prospettive della logica e della filosofia della scienza contemporanee", G. Sambin et al., Eds., Cesena, Italy, January 7-10, 1987, Vol. 1, CLUEB, Bologna, (1988) pp. 151-158
43. Functions computed by monotone Boolean formulas with no repeated variables, Theoretical Computer Science, 66 (1989) 113-114. Available online 2 April 2002   https://doi.org/10.1016/0304-3975(89)90150-3
44. The C*-algebras of three-valued logic. In: Proceedings Logic Colloquium 1988, R. Ferro, C. Bonotto, S. Valentini, A. Zanardo, (Eds.), Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, (1989) pp. 61-77. Available online 27 June 2014   https://doi.org/10.1016/S0049-237X(08)70262-3
45. (with J. Czyzowicz and A. Pelc) Ulam's searching game with lies, J. Combinatorial Theory, Series A, 52 (1989) 62-76. Available online 7 September 2004   https://doi.org/10.1016/0097-3165(89)90062-9
46. Reducibility of monotone formulas to μ-formulas. In: CSL89, Proceedings of the third workshop on Computer science logic, July 1990, Lecture Notes in Computer Science, 440 (1990) pp. 267-270. First Online 08 June 2005   https://doi.org/10.1007/3-540-52753-2_45
47. Approximately finite-dimensional C*-algebras, abelian l-groups, and Łukasiewicz infinite-valued logic, Publications Mathématiques de l'Université Paris VII, Seminar on Ordered Algebraic Structures, Vol. 2, (1990) pp. 99-115
48. Algebras of Ulam's games with lies: In: Proceedings International Congress of the Italian Society for Logic and Philosophy of Science, SILFS, Viareggio, Italy, January 8-13, 1990, G.Sambin et al., Eds, Vol. 2, CLUEB, Bologna, (1991) pp. 151-162
49. The complexity of adaptive error-correcting codes. In CSL90: Proceedings of the 4th Workshop on Computer Science Logic, October 1990, Lecture Notes in Computer Science, 533 (1991) pp. 300-307   https://www.springer.com/gp/book/9783540544876
50. Solution of Rota's problem on the order of series-parallel networks, Advances in Applied Mathematics, 12 (1991) 455-463. Available online 3 September 2004   https://doi.org/10.1016/0196-8858(91)90030-M
51. Logic and algebra in Ulam's searching game with lies, Yearbook of the Gödel Society, (1991) pp. 109-114   https://www.logic.at/lvas/185256/ulam-kgs-1991.pdf
52. Turing complexity of Behncke-Leptin C*-algebras with a two-point dual, Annals of Mathematics and Artificial Intelligence, 6 (1992) 287-294   https://link.springer.com/article/10.1007%2FBF01531034
53. The logic of Ulam's game with lies. In: Knowledge, Belief and Strategic Interaction, C. Bicchieri et al., Eds., Cambridge Studies in Probability, Induction, and Decision Theory, (1992) pp. 275-284   https://doi.org/10.1017/CBO9780511983474.017
54. Normal forms in infinite-valued logic: the case of one variable, Lecture Notes in Computer Science, 626 (1992) 272-277. First Online 09 June 2005   https://doi.org/10.1007/BFb0023773
55. Ulam's games, Łukasiewicz logic, and AF C*-algebras, Fundamenta Informaticae, 18 (1993) 151-161   https://content.iospress.com/articles/fundamenta-informaticae/fi18-2-4-05
56. (with G. A. Elliott) A characterization of lattice-ordered abelian groups, Mathematische Zeitschrift, 213 (1993) 179-185   https://link.springer.com/content/pdf/10.1007/BF03025717.pdf
57. (with G. Panti) Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993) 461-471. Available online 25 May 2002   https://doi.org/10.1006/jfan.1993.1134
58. (with G. A. Elliott and R. Cignoli) Reconstructing C*-algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993) 166-179. Available online 25 May 2002   https://doi.org/10.1006/aima.1993.1046
59. Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993) 1941-1955   https://doi.org/10.1007/BF00979516
60. K₀, 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) pp. 83-92
61. A constructive proof of McNaughton's theorem, Journal of Symbolic Logic, 59 (1994) 596-602   https://www.jstor.org/stable/2275410
62. (with S. Aguzzoli) An algorithmic desingularization of 3-dimensional toric varieties, Tohoku Math. Journal, 46 (1994) 557-572   https://projecteuclid.org/journals/tohoku-mathematical-journal/volume-46/issue-4/An-algorithmic-desingularization-of-3-dimensional-toric-varieties/10.2748/tmj/1178225680.full
63. (with R. Cignoli and I. M. L. D'Ottaviano) Algebras das logicas de Łukasiewicz (Algebras of Łukasiewicz Logics), (in Portuguese), Collection CLE, Vol. 12, State University of Campinas, Campinas, São Paulo, Brazil, (1994), Second edition, 1995
64. (with M. Pasquetto) A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. In: Non-classical Logics and their Applications, U. Höhle, E.P.K. Klement, Eds., Kluwer Academic Publishers, Dordrecht, (1995) p. 107-123   https://doi.org/10.1007/978-94-011-0215-5_6
65. (with W. Sieg) Paper Machines, Philosophia Mathematica, (3) 3 (1995) 5-30   https://doi.org/10.1093/philmat/3.1.5
66. Averaging the truth value in Łukasiewicz logic, special issue in honor of Helena Rasiowa, Studia Logica, 55 (1995) 113-127   https://www.jstor.org/stable/20015810
67. Łukasiewicz normal forms and toric desingularizations, In: "Logic: from foundations to applications." European logic colloquium, '93 , W.Hodges et al., Eds., Oxford University Press, pp. 401-423 (1996). ISBN-10 0198538626 ISBN-13 978-0198538622
68. 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) 42-54
69. (with C. Cifuentes and A. Sette) Cauchy Completeness in elementary logic, Journal of Symbolic Logic, 61.4 (1996) 1153-1157- Published online by Cambridge University Press: 12 March 2014   https://doi.org/10.2307/2275809
70. (with R. Cignoli) An elementary proof of Chang's completeness theorem, Special issue on the Mathematical Treatment of Uncertainty, Studia Logica, 58 (1997) 79-97   https://www.jstor.org/stable/20015893
71. Gödel incompleteness and quantum thermodynamic limits. In: "Philosophy of Mathematics Today", Kluwer Academic Publishers, (1997) pp. 287-298   https://doi.org/10.1007/978-94-011-5690-5_16
72. (with W. Sieg) Computability theory, Main Entry in the Routledge Encyclopedia of Philosophy
73. (with R. Cignoli) An invitation to Chang's MV-algebras. In: "Advances in Algebra and Model Theory", M. Droste, R. Göbel, Eds., Gordon and Breach Publishing Group, Reading, UK, (1997) pp. 171-197   https://doi.org/10.1201/9780367810603
74. (with A. Trombetta) Optimal comparison strategies in Ulam's searching game with two errors, Theoretical Computer Science, 182 (1997) 217-232. Available online 19 May 1998   https://www.sciencedirect.com/science/article/pii/S0304397597000303?via%3Dihub
75. Nonboolean partitions and their logic. In: "First Springer Forum on Soft Computing", Soft Computing, 2 (1998) 18-22   https://doi.org/10.1007/s005000050029
76. (with N. Olivetti) Resolution and model building in the infinite-valued calculus of Łukasiewicz, Theoretical Computer Science, 200 (1998) 335-366. Available online 13 August 1998   https://doi.org/10.1016/S0304-3975(98)00012-7
77. (with R. Cignoli) An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit, Studia Logica, 61 (1998) 49-64   https://doi.org/10.1023/A:1005078213630
78. (with G. Panti) Twenty questions with many-valued answers. In: "Models, algebras, and proofs", Selected papers of the Xth Latin American Symposium on Mathematical Logic, X. Caicedo, C.H. Montenegro, (Eds.) , Marcel Dekker, Inc., New York, Basel, (1999) pp. 295-313
79. Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999) 227-248. Available online 25 May 2002   https://doi.org/10.1006/aama.1998.0631
80. (with G. Panti) A constructive proof that every 3-generated l-group is ultrasimplicial, Banach Center Publications, Vol. 46 (1999) 169-178
81. Classes of ultrasimplicial lattice-ordered abelian groups, Journal of Algebra, 213 (1999) 596-603. Available online 25 May 2002   https://doi.org/10.1006/jabr.1998.7679
82. (with F. Cicalese) Optimal binary search with two unreliable tests and minimum adaptiveness. In: Proc. European Symposium on Algorithms, ESA `99, J. Nesetril, Ed., Lecture Notes in Computer Science, 1643 (1999) 257-266. First Online 14 January 2003   https://doi.org/10.1007/3-540-48481-7_23
83. Ulam game, the logic of Maxsat, and many-valued partitions. In: "Fuzzy Sets, Logics and Reasoning about Knowledge", D. Dubois, H. Prade, E.P. Klement, (Eds)., Kluwer Academic Publishers, (1999) pp. 121-137   https://doi.org/10.1007/978-94-017-1652-9_8
84. (with J. Gispert and A. Torrens) Ultraproducts of Z with an application to many-valued logics, Journal of Algebra, 219 (1999) 214-233   https://core.ac.uk/download/pdf/82616876.pdf
85. Foreword: Logics of Uncertainty, Journal of Logic, Language and Information, 9 (2000) 1-3   https://www.jstor.org/stable/40180307
86. (with R. Cignoli and I. M. L. D'Ottaviano) "Algebraic Foundations of many-valued Reasoning", Trends in Logic, Vol. 7, Kluwer Academic Publishers, Dordrecht, 2000. Reprinted: Springer Business, 2013 ISBN 978-94-015-9480-6   https://doi.org/10.1007/978-94-015-9480-6
87. (with F. Cicalese) Perfect two fault-tolerant search with minimum adaptiveness, Advances in Applied Mathematics, 25 (2000) 65-101. Available online 25 May 2002   https://doi.org/10.1006/aama.2000.0688
88. (with F. Cicalese and U. Vaccaro) Least adaptive optimal search with unreliable tests. In: Proceedings SWAT2000, Lecture Notes in Computer Science, 1851 (2000) 549-562. Available online 14 December 2001   https://doi.org/10.1016/S0304-3975(01)00116-5
89. Reasoning on imprecisely defined functions. In: "Discovering the World with Fuzzy Logic", V.Novak, I.Perfilieva, Eds., Studies in Fuzziness and Soft Computing, Vol. 57, Physica-Verlag, Springer, (2000) pp. 331-366 ISBN 978-3-7908-1839-0
90. (with F. Cicalese) Optimal coding with one asymmetric error: below the sphere packing bound. In: Proceedings COCOON2000, Lecture Notes in Computer Science, 1858 (2000) 159-169. First Online 21 July 2000   https://doi.org/10.1007/3-540-44968-X_16
91. (with C. Drossos) Many-valued points and equality, special issue in honor Newton C.A.da Costa, Synthese, 125 (2000) 97-101   https://www.jstor.org/stable/20117072
92. (with S. Aguzzoli) Weierstrass approximations by Łukasiewicz formulas with one quantified variable. In: Proceedings 31st IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2001) pp. 361-366   ieeexplore.ieee.org/document/924596
93. (with R. Cignoli) Partial isomorphisms on totally ordered abelian groups and Hájek's completeness theorem for basic logic, special issue dedicated to the memory of Grigore Moisil, Multiple valued Logic, 6 (2001) 89-94
94. (with F. Cicalese and U. Vaccaro) Rota-Metropolis cubic logic and Ulam-Rényi games. In: "Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota", H. Crapo, D. Senato, Eds., Springer-Italia, Milan, (2001) pp. 197-244 ISBN 978-88-470-2107-5
95. (with G. Panti) Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001) 269-278. Available online 29 March 2001   https://doi.org/10.1016/S0168-0072(00)00051-8
96. Fault-tolerance and Rota-Metropolis cubic logic. In: Paraconsistency, Chapter 19, W. Carnielli et al., Eds., Marcell Dekker, Inc., (2002) pp. 397-409 eBook ISBN 9780429222306
97. (with F. Cicalese and U. Vaccaro) Least adaptive optimal search with unreliable tests, Theoretical Computer Science, 270 (2002) 877-893. Available online 14 December 2001   https://doi.org/10.1016/S0304-3975(01)00116-5
98. (with B. Riečan) Probability on MV-algebras, In: Handbook of Measure Theory, Vol. 2, E. Pap, Ed., North-Holland, Amsterdam, (2002) pp. 869-909   https://doi.org/10.1007/978-94-015-8919-2_9
99. (with V. Marra) Combinatorial fans, l-groups and their neighbours, a short excursion, Séminaire Lotharingien de Combinatoire, 47: Article B47f, (2002), an electronic journal
100. (with V. Marra) MV-algebras and abelian l-groups: a fruitful interaction, In: Ordered Algebraic Structures, honoring Paul Conrad on his 80th birthday, J.Martínez, Ed., Kluwer, (2002) pp. 57-88   https://doi.org/10.1007/978-1-4757-3627-4_4
101. (with V. Marra) Consequence and complexity in infinite-valued logic: a survey. In: Proceedings 32nd IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, Boston, (2002) pp. 104-114
102. If-then-else and rule extraction from two sets of rules. In: "From Synapses to Rules", Proceedings of an International Workshop held at the Center for Physics "E. Majorana", Erice, Italy, B. Apolloni et al., Eds., Kluwer/Plenum, NY, (2002) pp. 87-108   https://doi.org/10.1007/978-1-4615-0705-5_5
103. (with F. Cicalese) Learning and the art of fault-tolerant guesswork. In: "Perspectives on Adaptivity and Learning", I. Stamatescu et al., Eds., Springer, (2003) pp. 117-143   https://doi.org/10.1007/978-3-662-05594-6_12
104. (with S. Aguzzoli) Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. In: "Beyond Two: Theory and applications of multiple-valued logic", E. Orlowska, M. Fitting, Eds., Physica-Verlag, Springer, Heidelberg, NY, (2003) pp. 315-335 ISBN 978-3-7908-1769-0
105. (with V. Marra) Łukasiewicz logic and Chang's MV algebras in action. In: 50 Years of Studia Logica, Trends in Logic, Vol. 21. V.Hendricks, J.Malinowski, Eds., Kluwer, Dordrecht, (2003) pp. 145-192   https://doi.org/10.1007/978-94-017-3598-8_7
106. (with A. De Simone and M. Navara) A Cantor-Bernstein theorem for sigma-complete MV-algebras, Czechoslovak Math.J, 53 (128) (2003) 437-447   https://dml.cz/bitstream/handle/10338.dmlcz/127812/CzechMathJ_53-2003-2_18.pdf
107. (with R. Cignoli and E. Dubuc) An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism. Special issue in honor Prof. Jan Jakubík on his 80th birthday, Tatra Mountains Math. Publications, 27 (2003) 23-43
108. Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Mathematical Society, 356 (2004) 1937-1955   https://www.jstor.org/stable/3845072
109. (with R. Cignoli and E. Dubuc) Extending Stone duality to multisets, Journal of Pure and Applied Algebra, 189 (2004) 37-59. Available online 20 February 2004   https://doi.org/10.1016/j.jpaa.2003.10.021
110. (with F. Cicalese, C. Deppe) Q-ary Ulam-Rényi game with weighted constrained lies. In: Proceedings COCOON 2004, Lecture Notes in Computer Science, 3106 (2004) 82-91   https://doi.org/10.1007/978-3-540-27798-9_11
111. (with J. Gispert) MV-algebras: a variety for magnitudes with archimedean units. Special issue in memoriam Wim Blok, Algebra Universalis, 53.1 (2005) 7 - 43. Published: April 2005   https://doi.org/10.1007/s00012-005-1905-5
112. Decidability and Gödel incompleteness in AF C*-algebras. In honor I.M.L.D'Ottaviano on her 60th birthday, Manuscrito, Rev. Int. Fil., Vol. 28 (2005) pp. 547-588   https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643903
113. A Characterization of the free n-generated MV-algebra, Archive for Mathematical Logic, 45 (2006) 239-247. Published: 14 March 2005   https://doi.org/10.1007/s00153-004-0273-8
114. (with David W. Miller) Approximating Truth in Ulam's Game of Twenty Questions with Lies, Proceedings of the Conference "Karl Popper Philosopher of Science", Cesena, Italy, 27-30 October 1994, M. Alai et al., Eds., Rubbettino Editore, Soveria Mannelli (Catanzaro, Italy), 2006, pp. 169-179 ISBN 8849815220
115. (with R. Cignoli, and M. Navara) Kleene-isomorphic sigma-complete MV-algebras with product are isomorphic. Special issue in memoriam H. Thiele, Journal of Multiple-Valued Logic and Soft Computing, 12.1 (2006) 1-8
116. (with R. Cignoli) Stone duality for Dedekind sigma-complete l-groups with order-unit, Journal of Algebra, 302 (2006) 848-861   https://core.ac.uk/download/pdf/82245483.pdf
117. Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006) 223-240. Available online 11 May 2006   https://doi.org/10.1016/j.ijar.2006.04.004
118. (with V. Marra) Riemann average truth-value of Łukasiewicz formulas. Special issue in honor of B. Riečan on his 70th birthday, Mathematica Slovaca, 56 (2006) 511-524
119. Representation of sigma-complete MV-algebras and their associated Dedekind sigma-complete l-groups, Contemporary Mathematics, AMS, Vol. 419, Oxford University Press, (2006) pp. 219-230   https://www.ams.org/books/conm/419/conm419-endmatter.pdf
120. Revisiting the free 2-generator lattice-ordered abelian group, Journal of Pure and Applied Algebra, 208 (2007) 549-554. Available online 10 March 2006   https://doi.org/10.1016/j.jpaa.2006.01.015
121. (with C. Manara and V. Marra) Lattice-ordered Abelian groups and Schauder bases of unimodular fans, Transactions of the American Mathematical Society, 359 (2007) 1593-1604. Published electronically: October 16, 2006   https://doi.org/10.1090/S0002-9947-06-03935-3
122. (with V. Marra, and A. M. W. Glass) Embedding in finitely presented lattice-ordered groups. In: Groups St. Andrews 2005, London Mathematical Society Lecture Notes Series, Vol. 340, Cambridge University Press, (2007) pp. 438-444. Published online by Cambridge University Press: 20 April 2010 https://doi.org/10.1017/CBO9780511721205.007
123. (with M. Busaniche) Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007) 1-22. Available online 22 April 2007   https://doi.org/10.1016/j.apal.2006.11.003
124. Free generating sets of lattice-ordered abelian groups, Journal of Pure and Applied Algebra, 211 (2007) 400-403. Available online 24 March 2007   https://doi.org/10.1016/j.jpaa.2007.03.002
125. (with V. Marra) The Lebesgue state of a unital abelian l-group, Journal of Group Theory, 10 (2007) 655-684. Published by De Gruyter September 19, 2007   https://doi.org/10.1515/JGT.2007.049
126. (with J. Kühr) De Finetti theorem and Borel states in [0,1]-valued algebraic logic, International Journal of Approximate Reasoning, 46 (2007) 605-616. Available online 4 March 2007   https://doi.org/10.1016/j.ijar.2007.02.005
127. La logica dei poliedri, (The logic of polyhedra). Special issue with the plenary invited talks in the 18th Congress of the Italian Mathematical Union, Bollettino Unione Matematica Italiana IX, Vol. I, No. 2 (2008) 455-474   http://www.bdim.eu/item?id=BUMI_2008_9_1_2_455_0&fmt=pdf
128. Geometry of filters in free MV-algebras. Special issue for the Proceedings of the Conference in honor of António Monteiro, Boletim da Sociedade Portuguesa de Matemática, (2008) 275-286
129. Łukasiewicz logic and de Finetti coherence criterion: recent developments, Studies in Logic, Chinese Association of Logic, 1.2 (2008) 1-16
130. 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, Toruń, Poland, 2006. Trends in Logic, Vol. 28, Springer, New York, (2008) pp. 213-232   https://doi.org/10.1007/978-1-4020-9084-4_11
131. (with C. Tsinakis) Gödel incompleteness in AF C*-algebras, Forum Mathematicum, 20.6 (2008) 1071-1084. Published by De Gruyter December 15, 2008   https://doi.org/10.1515/FORUM.2008.048
132. The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008) 537-549   https://www.aimsciences.org/article/doi/10.3934/dcds.2008.21.537
133. Rota, probability, algebra and logic. In: "From Combinatorics to Philosophy", E. Damiani et al., Eds., Springer, New York, (2009) pp. 167-181 Print ISBN: 978-0-387-88752-4 Electronic ISBN: 978-0-387-88753-1
134. Recognizing the Farey-Stern-Brocot AF algebra, Rendiconti Lincei Mat. Appl., 20 (2009) 327-338 ems.press/content/serial-article-files/3027
135. Conditionals and independence in many-valued logics. In: Proceedings 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09. C. Sossai and G. Chemello, Eds., Lecture Notes in Artificial Intelligence, 5590 (2009) 16-21   https://doi.org/10.1007/978-3-642-02906-6_3
136. Interpretation of de Finetti coherence criterion in Łukasiewicz logic, Annals of Pure and Applied Logic, 161 (2009) 235-245. Available online 25 June 2009   https://doi.org/10.1016/j.apal.2009.05.010
137. (with L. M. Cabrer) Projective MV-algebras and rational polyhedra. Special issue in memoriam Paul Conrad, J.Martínez et al., Eds., Algebra Universalis, 62 (2009) 63-74. Published 12 February 2010   https://doi.org/10.1007/s00012-010-0039-6
138. 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) pp. 273-286 ISBN 978-1-90987-63-5
139. (with J. Kühr) From free abelian groups to free abelian l-groups. Special issue honoring Charles Holland on his 75th birthday, Mathematica Slovaca, 61(3) (2011) 1-12. Published by De Gruyter May 15, 2011   https://doi.org/10.2478/s12175-011-0022-5
140. A compact [0,1]-valued first-order Łukasiewicz logic with identity on Hilbert space, J. Logic and Computation, 21(3) (2011) 509-525. Published: 13 March 2009   https://doi.org/10.1093/logcom/exp017
141. (with F. Cicalese) Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic, In: Proof, Computation and Agency, Synthese Library, 352, Part 3, (2011) pp. 115-131. First Online 10 March 2011   https://doi.org/10.1007/978-94-007-0080-2_8
142. Logica: Metodo Breve, Springer-Italia, Milan (2011) ISBN 978-88-470-1884-6
143. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, Vol. 35 Springer, New York, (2011) ISBN 978-94-007-0839-6
144. Rational measure of rational simplexes, In: Logic without Frontiers, Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. Jean-Yves Beziau and Marcelo Esteban Coniglio (Eds.) Volume 17 of Tribute Series, College Publications, London, (2011) ISBN 209-214 978-2-84890-055-4
145. (with L. M. Cabrer) Finitely presented lattice-ordered abelian groups with order-unit, Journal of Algebra, 343 (2011) 1-10. Available online 27 July 2011   https://core.ac.uk/reader/82065000
146. Finite axiomatizability in Łukasiewicz logic, Annals of Pure and Applied Logic, 162 (2011) 1035-1047. Available online 20 July 2011   https://doi.org/10.1016/j.apal.2011.06.026
147. Revisiting the Farey AF algebra, Milan Journal of Mathematics, 79 (2011) 643-656. Published: August 2011   https://doi.org/10.1007/s00032-011-0166-3
148. Consequence and interpolation in Łukasiewicz logic. Special issue honoring Ryszard Wójcicki on his 80th birthday, Studia Logica, 99 (2011) 269-278. Published 31 August 2011   https://link.springer.com/article/10.1007%2Fs11225-011-9352-0
149. Logic: a Brief Course, English Translation of [142] by Krzysztof Apt, Springer-Verlag, Milan (2012) ISBN 978-88-470-2361-1
150. (with M. Busaniche and L. M. Cabrer) Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups, Forum Mathematicum, 24 (2012) 253-271. Published by De Gruyter, February 25, 2012   https://doi.org/10.1515/form.2011.059
151. (with L. M. Cabrer) Rational polyhedra and projective lattice-ordered abelian groups with order unit, Communications in Contemporary Mathematics, 14. 3 (2012) 1250017. Published: 18 May 2012   https://doi.org/10.1142/S0219199712500174
152. Dalla macchina di Turing a P/NP, McGraw-Hill, Milano, (2013) ISBN-10 8838674027 ISBN-13 978-8838674020
153. Universal properties of Łukasiewicz consequence, Logica Universalis, 8.1 (2014) 17-24. Published 29 November 2013   https://doi.org/10.1007/s11787-013-0091-z
154. Invariant measure under the affine group over Z, Combinatorics, Probability and Computing, 23 (2014) 248-268. Published online by Cambridge University Press: 02 January 2014   https://doi.org/10.1017/S096354831300062X
155. (with M. Busaniche) Bouligand-Severi tangents in MV-algebras, Revista Matemática Iberoamericana, 30.1 (2014) 191-201   https://www.ems-ph.org/journals/show_abstract.php?issn=0213-2230&vol=30&iss=1&rank=9
156. (with A. Pedrini) The Euler characteristic and valuations on MV-algebras. Special issue honoring J. Jakubík on his 90th birthday, Mathematica Slovaca, 64.3 (2014) 563-570   https://doi.org/10.2478/s12175-014-0226-6
157. (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) 85-120
158. (with L. M. Cabrer) Interval MV-algebras and generalizations, International Journal of Approximate Reasoning, 55 (2014) 1623-1642. Available online 10 May 2014   https://doi.org/10.1016/j.ijar.2014.05.002
159. (with L. M. Cabrer) A Stone-Weierstrass theorem for MV-algebras and unital l-groups, Journal of Logic and Computation, 25.3 (2015) 683-699. Published: 31 May 2014   https://doi.org/10.1093/logcom/exu023
160. The differential semantics of Łukasiewicz syntactic consequence. In: "Petr Hájek on Mathematical Fuzzy Logic", Montagna F., Ed., Outstanding Contributions, Vol. 6, Springer International Publishing Switzerland, 2015, pp 143-157. First Online 24 September 2014   https://doi.org/10.1007/978-3-319-06233-4_7
161. (with L. M. Cabrer) Severi-Bouligand tangents, Frenet frames and Riesz spaces, Advances in Applied Mathematics, 64 (2015) 1-20. Published: 01 March 2015   https://doi.org/10.1016/j.aam.2014.11.004
162. (with L. M. Cabrer) Classifying orbits of the affine group over the integers, Ergodic Theory and Dynamical Systems, Cambridge University Press, (2015). Published online by Cambridge University Press: 22 July 2015   https://doi.org/10.1017/etds.2015.45
163. Logic on the n-cube, Journal of Logic and Computation, 26.1 (2016) 409-424. Published: 10 July 2013   https://doi.org/10.1093/logcom/ext033
164. (with M. Busaniche and L. M. Cabrer) Polyhedral MV-algebras, Fuzzy Sets and Systems, special issue honoring F. Esteva on his 70th birthday, 292 (2016) 150-159. Available online 27 June 2014   https://doi.org/10.1016/j.fss.2014.06.015
165. A geometric approach to MV-algebras. In: On Logical, Algebraic and Probabilistic Aspects of Fuzzy Set Theory, Dedicated to Erich Peter Klement, R. Mesiar et al. Eds., Springer, Berlin (2016) pp. 57-70. First Online: 12 January 2016   https://doi.org/10.1007/978-3-319-28808-6_4
166. (with L. M. Cabrer) Classifying GL(n,Z)-orbits of points and rational subspaces, Discrete and Continuous Dynamical Systems, 36.9 (2016) 4723-4738   http://dx.doi.org/10.3934/dcds.2016005
167. Hopfian l-groups, MV-algebras and AF C*-algebras, Forum Mathematicum, 28.6 (2016) 1111-1130. Published by De Gruyter May 1, 2016   https://doi.org/10.1515/forum-2015-0177
168. Łukasiewicz logic and MV-algebras:recent results. Special issue honoring Francisco Miraglia on his 70th birthday, South American Journal of Logic, 2 (2016) 443-457 ISSN: 2446-6719
169. (with C.Picardi) Faulty sets of Boolean formulas and Łukasiewicz logic. Special issue honoring Alexander Leitsch on his 60th birthday, Journal of Logic and Computation, 27 (2017) 497-507. Published: 8 December 2014   https://doi.org/10.1093/logcom/exu073
170. (with L. M. Cabrer) Classifying orbits of the affine group over the integers, Ergodic Theory and Dynamical Systems, 37 (2017) 440-453. Published online by Cambridge University Press: 22 July 2015   https://doi.org/10.1017/etds.2015.45
171. Coherence of de Finetti coherence, Synthese, 194 (2017) 4055-4063. Published 1 June 2016   https://doi.org/10.1007/s11229-016-1126-9
172. (with L. M. Cabrer) Idempotent endomorphisms of free MV-algebras and unital l-groups, Journal of Pure and Applied Algebra, 221 (2017) 908-934. Available online 22 August 2016   https://doi.org/10.1016/j.jpaa.2016.08.011
173. (with L. M. Cabrer) Germinal theories in Łukasiewicz logic, Annals of Pure and Applied Logic, 168 (2017) 1132-1151. Available online 22 November 2016   https://doi.org/10.1016/j.apal.2016.11.009
174. (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) 39-62. Springer International Publishing AG (2017), ISBN 3319532804, 9783319532806. First Online: 31 May 2017   https://doi.org/10.1007/978-3-319-53280-6_2
175. Fans, decision problems and generators of free abelian l-groups, Forum Mathematicum, 29.6 (2017) 1429-1439   https://doi.org/10.1515/forum-2016-0255
176. Recognizing free generating sets of l-groups, Topical collection ``In memory of Bjarni Jonsson", J. B. Nation, Editor, Algebra Universalis. June 2018, 79:24. Published: 18 April 2018   https://doi.org/10.1007/s00012-018-0511-2
177. Word problems in Elliott monoids, Advances in Mathematics, 335 (2018) 343-371. Available online 18 July 2018   https://doi.org/10.1016/j.aim.2018.07.015
178. Coherence of the product law for independent continuous events. 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) pp 207-212. First Online: 14 October 2018   https://link.springer.com/chapter/10.1007/978-3-319-98797-2_10
179. De Finetti coherence and the product law for independent events, Synthese, 196 (2019) 265-271. Published: 24 June 2017   https://doi.org/10.1007/s11229-017-1471-3
180. Betting on continuous independent events, Soft Computing, 23 (2019) 2289-2295. Published: 19 June 2018   https://doi.org/10.1007/s00500-018-3323-6
181. Triangles in diophantine approximation, Journal of Number Theory, 201 (2019) 176-189. Available online 19 March 2019   https://doi.org/10.1016/j.jnt.2019.02.011
182. Preservation properties of de Finetti coherence, Journal of Applied Logics- IfCoLog Journal of Logics and their Applications, 6(2) (2019) 381-394   http://www.collegepublications.co.uk/downloads/ifcolog00031.pdf
183. Complete and computable orbit invariants in the geometry of the affine group over the integers, Annali di Matematica pura ed applicata, 199.5 (2020) 1843-1871. Published 10 February 2020   https://doi.org/10.1007/s10231-020-00945-y
184. Computing on Lattice-Ordered Abelian Groups, In: Fields of Logic and Computation III. Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. A. Blass et al., (Eds.) Lecture Notes in Computer Science, 12180, Springer, Cham, 2020, pp. 210-225. First Online 23 May 2020   https://doi.org/10.1007/978-3-030-48006-6_15
185. What the Łukasiewicz axioms mean, The Journal of Symbolic Logic, 85(3) (2020) 906-917. Published online by Cambridge University Press: 30 October 2020   https://doi.org/10.1017/jsl.2020.74
186. Bratteli diagrams via the De Concini-Procesi theorem, Communications in Contemporary Mathematics, 23 Issue No. 07 (2021), Article No. 2050073. Published: 29 October 2020   https://doi.org/10.1142/S021919972050073X
187. Rota's Fubini lectures: The first problem, Advances in Applied Mathematics, 125 (2021) 102153. Available online 8 January 2021   https://doi.org/10.1016/j.aam.2020.102153
188. The differential of probabilistic entailment, Annals of Pure and Applied Logic, 172 (2021) 102945. Available online 19 January 2021   https://doi.org/10.1016/j.apal.2021.102945
189. Deciding Koopman's qualitative probability, Artificial Intelligence, 299 (2021) 103524. Available online 12 May 2021   https://doi.org/10.1016/j.artint.2021.103524
190. Consequence relations with real truth-values. In: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, O. Arieli, A. Zamansky, Eds., Outstanding Contributions to Logic, Vol. 21, Springer, Cham (2021) pp. 249-264. First Online: 31 July 2021   https://doi.org/10.1007/978-3-030-71258-7_11
191. Computing in Łukasiewicz logic and AF-algebras, In: W. Arendt et al. (Eds.), The Logic of Software. A Tasting Menu of Formal Methods, Lecture Notes in Computer Science, 13360, pp. 382-396, 2022 https://doi.org/10.1007/978-3-031-08166-8_18
192. The read once formula of a series–parallel network, Discrete Applied Mathematics, 320 (2022) 304–310 https://doi.org/10.1016/j.dam.2022.06.002
193. AF-algebras with lattice-ordered K_0: Logic and computation, Annals of Pure and Applied Logic, 174.1 (2023) 103182, Available online 17 August 2022 https://doi.org/10.1016/j.apal.2022.103182.