Daniele Mundici

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

Biographical and Personal Information


Employment Record


Honors and Awards

Selected Administrative Positions

Editorial Boards

Proceedings Editor


Plenary Invited Speaker (a selection)

Selected Short Courses

Referee for

Program Committee Member (a selection)

Ph D Thesis Advisor


Scientific Papers

  1. Robinson consistency theorem in soft model theory, Rendiconti Accademia Lincei Mat. Appl., 67 (1979) 383-386
  2. Natural limitations of algorithmic procedures in logic, Rendiconti Accademia Lincei Mat. Appl., 69 (1980) 101-105
  3. Ergodic undefinability in set theory and recursion theory, Proc. Amer. Math. Soc., 82 (1981) 107-111
  4. Robinson's consistency theorem in soft model theory, Trans. Amer. Math. Soc., 263 (1981) 231-241
  5. Irreversibility, uncertainty, relativity and computer limitations, Il Nuovo Cimento, Europhysics J., 61 B, n. 2 (1981) 297-305
  6. Applications of many-sorted Robinson consistency theorem, Zeit.math.Logik, 27 (1981) 181-188
  7. A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes, Studia Logica, 40 (1981) 253-267
  8. An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, J. Symbolic Logic, 46 (1981) 523-530
  9. Craig's interpolation theorem in computation theory, Rendiconti Accademia Lincei Mat. Appl., 70 (1981) 6-11
  10. Duality between logics and equivalence relations, Trans.Amer.Math.Soc., 270 (1982) 111-129
  11. Compactness, interpolation and Friedman's third problem, Annals of Mathematical Logic, 22 (1982) 197-211
  12. Interpolation, compactness and JEP in soft model theory, Archiv math. Logik, 22 (1982) 61-67
  13. Complexity of Craig's interpolation, Fundamenta Informaticae, 5 (1982) 261-278
  14. L-embedding, amalgamation and L-elementary equivalence, Rendiconti Accademia Lincei Mat. Appl., 72 (1982) 312-314
  15. Compactness = JEP in any logic, Fundamenta Mathematicae, 116 (1983) 99-108
  16. A lower bound for the complexity of Craig's interpolants in sentential logic, Archiv math.Logik, 23 (1983) 27-36
  17. Natural limitations of decision procedures for arithmetic with bounded quantifiers, Archiv math.Logik, 23 (1983) 37-54
  18. Δ-tautologies, uniform and nonuniform upper bounds in computation theory, Rendiconti Accademia Lincei Mat. Appl., 75 (1983) 99-101
  19. Abstract model theory and nets of C*-algebras: noncommutative interpolation and preservation properties, Lecture Notes in Math., 1103 (1984) 351-377
  20. A generalization of abstract model theory, Fundamenta Mathematicae, 124 (1984) 1-25
  21. Embeddings, amalgamation and elementary equivalence: the representation of compact logics, Fundamenta Mathematicae, 124 (1984) 109-122
  22. NP and Craig's interpolation theorem, In: Proceedings Logic Colloquium '82, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, (1984) 345-358
  23. Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity, Annals of Pure and Applied Logic, 27 (1984) 265-273
  24. Model-theoretic logics, AF C*-algebras and many-valued calculi, In: Scienza e Filosofia, Saggi in Onore di Ludovico Geymonat, Garzanti, Milano, (1985) 480-493
  25. Other Quantifiers: an Overview, Chapter VI In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985) 211-233
  26. (with J. A. Makowsky) Abstract Equivalence Relations, Chapter XIX In: Model-Theoretic Logics, Edited by J. Barwise and S. Feferman, Perspectives in Math.Logic, Springer, New York, (1985) 717-746
  27. Algebraic many-valued logic and models of physical systems, In: Atti del Congresso Logica e Filosofia della Scienza, oggi, Vol. 1, CLUEB, Bologna, (1986), 83-93
  28. MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math.Japonica, 31 (1986) 889-894
  29. Inverse topological systems and compactness in abstract model theory, J. Symbolic Logic, 51 (1986) 785-794
  30. Mapping abelian l-groups with strong unit one-one into MV-algebras, J. Algebra, 98 (1986) 76-81
  31. Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Functional Analysis, 65 (1986) 15-63
  32. Bounded commutative BCK-algebras have the amalgamation property, Math. Japonica, 32 (1987) 279-282
  33. Every abelian l-group with two positive generators is ultrasimplicial, J. Algebra, 105 (1987) 236-241
  34. (with F. Ammannati, P. Mennonna, R. De Dominicis, G. Dal Pozzo, C. Fonda, G. Pazzaglini, B. Lehmann), CT-guided stereotactic biopsy of endocranial lesions, La Radiologia Medica, 74 (1987) 34-38
  35. A simple construction of Robinson equivalence relations, Proc. Amer. Math. Soc., 101 (1987) 139-141
  36. The Turing complexity of AF C*-algebras with lattice-ordered K0, Lecture Notes in Computer Science, 270 (1987) 256-264
  37. Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987) 145-153
  38. The derivative of truth in Łukasiewicz sentential calculus, In: Proc. VII Latin American Symp. on Math. Logic, Contemporary Mathematics, Vol. 69 (1988) 209-227
  39. Free products in the category of abelian l-groups with strong unit, J. Algebra, 113 (1988) 89-109
  40. Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C*-algebras, Advances in Math., 68 (1988) 23-39
  41. (with J. Czyzowicz and A. Pelc), Solution of Ulam's problem on binary search with two lies, J.Combinatorial Theory, Series A, 49 (1988) 384-388
  42. Polynomial time complexity of certain AF C*-algebras, In: Atti del Congresso: Temi e prospettive della logica e della filosofia della scienza contemporanee, Vol. 1, CLUEB, Bologna, (1988) 151-158
  43. Functions computed by monotone Boolean formulas with no repeated variables, Theoretical Computer Science, 66 (1989) 113-114
  44. The C*-algebras of three-valued logic, In: Proceedings Logic Colloquium 1988, R. Ferro, C. Bonotto, S. Valentini, A. Zanardo, (Eds.), Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, (1989) 61-77
  45. (with J. Czyzowicz and A. Pelc), Ulam's searching game with lies, J. Combinatorial Theory, Series A, 52 (1989) 62-76
  46. Reducibility of monotone formulas to μ-formulas, Lecture Notes in Computer Science, 440 (1990) 267-270
  47. Approximately finite-dimensional C*-algebras, abelian l-groups, and Łukasiewicz infinite-valued logic, Publications Mathématiques de l'Université Paris VII, Seminar on Ordered Algebraic Structures, Vol. 2, (1990) 99-115
  48. Algebras of Ulam's games with lies, In: Proceedings International Congress of the Italian Society for Logic and Philosophy of Science, SILFS, Vol. 2, CLUEB, Bologna, (1991), 151-162
  49. The complexity of adaptive error-correcting codes, Lecture Notes in Computer Science, 533 (1991) 300-307
  50. Solution of Rota's problem on the order of series-parallel networks, Advances in Applied Mathematics, 12 (1991) 455-463
  51. Logic and algebra in Ulam's searching game with lies, Yearbook of the Gödel Society, (1991) 109-114
  52. Turing complexity of Behncke-Leptin C*-algebras with a two-point dual, Annals of Mathematics and Artificial Intelligence, 6 (1992) 287-294
  53. The logic of Ulam's game with lies, In: Knowledge, Belief and Strategic Interaction, Cambridge Studies in Probability, Induction, and Decision Theory, (1992) 275-284
  54. Normal forms in infinite-valued logic: the case of one variable, Lecture Notes in Computer Science, 626 (1992) 272-277
  55. Ulam's games, Łukasiewicz logic, and AF C*-algebras, Fundamenta Informaticae, 18 (1993) 151-161
  56. (with G. A. Elliott) A characterization of lattice-ordered abelian groups, Mathematische Zeitschrift, 213 (1993) 179-185
  57. (with G. Panti) Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993) 461-471
  58. (with G. A. Elliott and R. Cignoli) Reconstructing C*-algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993) 166-179
  59. Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993) 1941-1955
  60. K0, 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) 83-92
  61. A constructive proof of McNaughton's theorem, Journal of Symbolic Logic, 59 (1994) 596-602
  62. (with S. Aguzzoli), An algorithmic desingularization of 3-dimensional toric varieties, Tohoku Math. Journal, 46 (1994) 557-572
  63. (with R. Cignoli and I. M. L. D'Ottaviano), Algebras of Łukasiewicz Logics, (in Portuguese), Collection CLE, Vol. 12, State University of Campinas, Campinas, 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, Höhle, U., Klement, E.P.K. (Eds). Dordrecht: Kluwer Academic Publishers, (1995) 107-123
  65. (with W. Sieg), Paper Machines, Philosophia Mathematica, (3) 3 (1995) 5-30
  66. Averaging the truth value in Łukasiewicz sentential logic, special issue in honor of Helena Rasiowa. Studia Logica, 55 (1995) 113-127
  67. Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W.Hodges et al., (Eds.), Oxford University Press, (1996) 401-423
  68. Uncertainty measures in MV algebras, and states of AF C*-algebras, special issue in memoriam Rolando Chuaqui, Notas de la Sociedad de 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
  70. (with R. Cignoli) An elementary proof of Chang's completeness theorem, special issue on the Mathematical Treatment of Uncertainty, Studia Logica, 58 (1997) 79-97
  71. Gödel incompleteness and quantum thermodynamic limits, In: Philosophy of Mathematics Today, Kluwer Academic Publishers, (1997) 287-298
  72. (with W. Sieg), Computability. Routledge Encyclopedia
  73. (with R. Cignoli), An invitation to Chang's MV-algebras, In: Advances in Algebra and Model Theory, M. Droste, R. Göbel, (Eds.), Gordon and Breach Publishing Group, Reading, UK, (1997) 171-197
  74. (with A. Trombetta), Optimal comparison strategies in Ulam's searching game with two errors, Theoretical Computer Science, 182 (1997) 217-232
  75. Nonboolean partitions and their logic. (First Springer Forum on Soft Computing), Soft Computing, 2 (1998) 18-22
  76. (with N. Olivetti), Resolution and model building in the infinite-valued calculus of Łukasiewicz, Theoretical Computer Science, 200 (1998) 335-366
  77. (with R. Cignoli) An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit, Studia Logica, 61 (1998) 49-64
  78. (with G. Panti) Twenty questions with many-valued answers. In: Models, algebras, and proofs, Selected papers of the Xth Latin American Symposium on Mathematical Logic, X. Caicedo, C.H. Montenegro, (Eds.) , Marcel Dekker, Inc., New York, Basel, (1999) 295-313
  79. Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999) 227-248
  80. (with G. Panti) A constructive proof that every 3-generated l-group is ultrasimplicial, Banach Center Publications, Vol. 46 (1999) 169-178
  81. Classes of ultrasimplicial lattice-ordered abelian groups, Journal of Algebra, 213 (1999) 596-603
  82. (with F. Cicalese) Optimal binary search with two unreliable tests and minimum adaptiveness, In: Proc. European Symposium on Algorithms, ESA `99, J. Nesetril, (Ed.), Lecture Notes in Computer Science, 1643 (1999) 257-266
  83. Ulam game, the logic of Maxsat, and many-valued partitions, In: Fuzzy Sets, Logics and Reasoning about Knowledge, D. Dubois, H. Prade, E.P.Klement, (Eds)., Kluwer Academic Publishers, (1999) 121-137
  84. (with J. Gispert and A. Torrens) Ultraproducts of Z with an application to many-valued logics, Journal of Algebra, 219 (1999) 214-233
  85. Foreword: Logics of Uncertainty, Journal of Logic, Language and Information, 9 (2000) 1-3
  86. (with R. Cignoli and I. M. L. D'Ottaviano), Algebraic Foundations of many-valued Reasoning, Trends in Logic, Vol. 7, Kluwer Academic Publishers, Dordrecht, (2000). Reprinted: Springer Business, 2013
  87. (with F. Cicalese), Perfect two fault-tolerant search with minimum adaptiveness, Advances in Applied Mathematics, 25 (2000) 65-101
  88. (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests, Proceedings SWAT2000, Lecture Notes in Computer Science, 1851 (2000) 549-562
  89. Reasoning on imprecisely defined functions, In: Discovering the World with Fuzzy Logic, V.Novak, I.Perfilieva, (Eds.), Studies in Fuzziness and Soft Computing, Vol. 57, Physica-Verlag, Springer, (2000) 331-366
  90. (with F. Cicalese), Optimal coding with one asymmetric error: below the sphere packing bound, In: Proceedings COCOON2000, Lecture Notes in Computer Science, 1858 (2000) 159-169
  91. (with C. Drossos), Many-valued points and equality, special issue in honor Newton C.A.da Costa, Synthese, 125 (2000) 97-101
  92. (with S. Aguzzoli), Weierstrass approximations by Łukasiewicz formulas with one quantified variable, In: Proceedings 31st IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2001) 361-366
  93. (with R. Cignoli), Partial isomorphisms on totally ordered abelian groups and Hájek's completeness theorem for basic logic, Multiple valued Logic, special issue dedicated to the memory of Grigore Moisil, Vol. 6 (2001) 89-94
  94. (with F. Cicalese and U. Vaccaro), Rota-Metropolis cubic logic and Ulam-Rényi games, In: Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota, (H. Crapo, D. Senato, Eds.), Springer-Italia, Milan, (2001) 197-244
  95. (with G. Panti), Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001) 269-278
  96. Fault-tolerance and Rota-Metropolis cubic logic, In: Paraconsistency, Chapter 19, W. Carnielli et al., (Eds.), Marcell Dekker, Inc., (2002) 397-409
  97. (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests, Theoretical Computer Science, 270 (2002) 877-893
  98. (with B. Riecan) Probability on MV-algebras, In: Handbook of Measure Theory, Vol. 2, E. Pap, (Ed.), North-Holland, Amsterdam, (2002) 869-909
  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.Martinez, (Ed.), Kluwer, (2002) 57-88
  101. (with V. Marra,) Consequence and complexity in infinite-valued logic: a survey, In: Proceedings 32nd IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, Boston, (2002) 104-114
  102. If-then-else and rule extraction from two sets of rules, In: From Synapses to Rules, Proceedings of an International Workshop held at the Center for Physics "E. Majorana", Erice, Italy. B. Apolloni et al., (Eds.), Kluwer/Plenum, NY, (2002) 87-108
  103. (with F. Cicalese,) Learning and the art of fault-tolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning. Stamatescu, I. et al., (Eds.), Springer, (2003) 117-143
  104. (with S. Aguzzoli,) Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable, In: Beyond Two: Theory and applications of multiple-valued logic, E. Orlowska, M. Fitting, (Eds.), Physica-Verlag, Springer, Heidelberg, NY, (2003) 315-335
  105. (with V. Marra), Łukasiewicz logic and Chang's MV algebras in action, In: 50 Years of Studia Logica, Trends in Logic, Vol. 21. V.Hendricks, J.Malinowski, (Eds.), Kluwer, Dordrecht, (2003) 145-192
  106. (with A. De Simone and M. Navara), A Cantor-Bernstein theorem for sigma-complete MV-algebras, Czechoslovak Math.J, 53 (128) (2003) 437-447
  107. (with R. Cignoli and E. Dubuc), An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism, Tatra Mountains Math. Publications, special issue in honor Prof. Jan Jakubík on his 80th birthday, 27 (2003) 23-43
  108. Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Math. Soc., 356 (2004) 1937-1955
  109. (with R. Cignoli and E. Dubuc), Extending Stone duality to multisets, Journal of Pure and Applied Algebra, 189 (2004) 37-59
  110. (with F. Cicalese, C. Deppe,) Q-ary Ulam-Rényi game with weighted constrained lies, In: Proceedings COCOON 2004, Lecture Notes in Computer Science, 3106 (2004) 82-91
  111. (with J. Gispert) MV-algebras: a variety for magnitudes with archimedean units, Algebra Universalis, special issue in memoriam Wim Blok, 53.1 (2005) 7 - 43
  112. Decidability and Gödel incompleteness in AF C*-algebras, Manuscrito, Rev. Int. Fil., special issue in honor I.M.L.D'Ottaviano on her 60th birthday, Vol. 28 (2005) 547-588
  113. A Characterization of the free n-generated MV-algebra, Archive for Mathematical Logic, 45 (2006) 239-247
  114. (with R. Cignoli, and M. Navara), Kleene-isomorphic sigma-complete MV-algebras with product are isomorphic, Multiple valued logics and soft computing, special issue in memoriam H. Thiele, 12.1 (2006) 1-8
  115. (with R. Cignoli), Stone duality for Dedekind sigma-complete l-groups with order-unit, Journal of Algebra, 302 (2006) 848-861
  116. Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006) 223-240
  117. (with V. Marra), Riemann average truth-value of Łukasiewicz formulas, special issue in honor of B. Riecan on his 70th birthday, Mathematica Slovaca, 56 (2006) 511-524
  118. Representation of sigma-complete MV-algebras and their associated Dedekind sigma-complete l-groups, Contemporary Mathematics, AMS, Vol. 419, Oxford University Press, (2006) 219-230
  119. Revisiting the free two-generator lattice-ordered abelian group, Journal of Pure and Applied Algebra, 208 (2007) 549-554
  120. (with C. Manara and V. Marra), Lattice-ordered Abelian groups and Schauder bases of unimodular fans, Transactions of the American Mathematical Society, 359 (2007) 1593-1604
  121. (with V. Marra, and A. M. W. Glass), Embedding in finitely presented lattice-ordered groups, In: Groups St. Andrews 2005, London Mathematical Society Lecture Notes Series, Vol. 340, Cambridge University Press, (2007) 438-444
  122. (with M. Busaniche), Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007) 1-22
  123. Free generating sets of lattice-ordered abelian groups, Journal of Pure and Applied Algebra, 211 (2007) 400-403
  124. (with V. Marra), The Lebesgue state of a unital abelian l-group, Journal of Group Theory, 10 (2007) 655-684
  125. (with J. Kühr), De Finetti theorem and Borel states in [0,1]-valued algebraic logic, International Journal of Approximate Reasoning, 46 (2007) 605-616
  126. La logica dei poliedri, Bollettino Unione Matematica Italiana, special issue with the plenary invited talks in the 18th Congress of the Italian Mathematical Union, IX, Vol. I, No. 2 (2008) 455-474
  127. Geometry of filters in free MV-algebras, Boletim da Sociedade Portuguesa de Matemática, special issue for the Proceedings of the Conference in honor A. A. Monteiro, (2008) 275-286
  128. Łukasiewicz logic and de Finetti coherence criterion: recent developments, Studies in Logic, Chinese Association of Logic, 1.2 (2008) 1-16
  129. Faithful and invariant conditional probability in Łukasiewicz logic. In: D. Makinson, J. Malinowski and H. Wansing (Eds.), Proceedings of the conference Trends in Logic IV, Torun, Poland, 2006, (Trends in Logic, Vol. 28). Springer, New York, (2008) 213-232
  130. (with C. Tsinakis), Gödel incompleteness in AF C*-algebras, Forum Mathematicum, 20.6 (2008) 1071-1084
  131. The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008) 537-549
  132. Rota, probability, algebra and logic, In: From Combinatorics to Philosophy, E. Damiani et al., (Eds.), Springer, New York, (2009) 167-181
  133. Recognizing the Farey-Stern-Brocot AF algebra, Rendiconti Lincei Mat. Appl., 20 (2009) 327-338
  134. Conditionals and independence in many-valued logics, In: Proceedings 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09. C. Sossai and G. Chemello (Eds.), Lecture Notes in Artificial Intelligence, 5590 (2009) 16-21
  135. Interpretation of de Finetti coherence criterion in Łukasiewicz logic, Annals of Pure and Applied Logic, 161 (2009) 235-245
  136. (with L. M. Cabrer), Projective MV-algebras and rational polyhedra, Algebra Universalis, special issue in memoriam Paul Conrad, (J.Martinez et al., Eds.), 62 (2009) 63-74
  137. From BL to MV, In: Witnessed Years. Essays in Honour Petr Hájek, (P.Cintula et al., Eds.), College Publications, King's College, London, (2010) 273-286
  138. (with J. Kühr), From free abelian groups to free abelian l-groups, Mathematica Slovaca, special issue honoring Charles Holland on his 75th birthday, 61(3) (2011) 1-12
  139. A compact [0,1]-valued first-order Łukasiewicz logic with identity on Hilbert space, J. Logic and Computation, 21(3) (2011) 509-525
  140. (with F. Cicalese), Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic, In: Proof, Computation and Agency, Synthese Library, Vol. 352, Part 3, (2011) 115-131
  141. Logica: Metodo Breve, Springer-Italia, Milan (2011)
  142. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, Vol. 35 Springer, New York, (2011)
  143. 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) 209-214
  144. (with L. M. Cabrer), Finitely presented lattice-ordered abelian groups with order-unit, Journal of Algebra, 343 (2011) 1-10
  145. Finite axiomatizability in Łukasiewicz logic, Annals of Pure and Applied Logic, 162 (2011) 1035-1047
  146. Revisiting the Farey AF algebra, Milan Journal of Mathematics, 79 (2011) 643-656
  147. Consequence and interpolation in Łukasiewicz logic, Studia Logica, special issue honoring Ryszard Wójcicki on his 80th birthday, 99 (2011) 269-278
  148. Logic: a Brief Course, English Translation of [141] by Krzysztof Apt, Springer-Verlag, Milan (2012)
  149. (with M. Busaniche and L. M. Cabrer), Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups, Forum Mathematicum, 24 (2012) 253-271
  150. (with L. M. Cabrer), Rational polyhedra and projective lattice-ordered abelian groups with order unit, Communications in Contemporary Mathematics, 14. 3 (2012) 1250017 (20 pages). doi: 10.1142/S0219199712500174
  151. Dalla macchina di Turing a P/NP, McGraw-Hill, Milano, (2013)
  152. Logic on the n-cube, Journal of Logic and Computation, 26.1 (2013) 409-424. Advance access July 10, 2013 doi: 10.1093/logcom/ext033
  153. Invariant measure under the affine group over Z, Combinatorics, Probability and Computing, 23 (2014) 248-268
  154. Universal properties of Łukasiewicz consequence, Logica Universalis, 8.1 (2014) 17-24
  155. (with M. Busaniche) Bouligand-Severi tangents in MV-algebras, Revista Matemática Iberoamericana, 30.1 (2014) 191-201
  156. (with A. Pedrini) The Euler characteristic and valuations on MV-algebras, Mathematica Slovaca, special issue honoring J. Jakubík on his 90th birthday, 64.3 (2014) 563-570
  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
  159. (with L. M. Cabrer) A Stone-Weierstrass theorem for MV-algebras and unital l-groups, Journal of Logic and Computation, 25.3 (2014) 683-699
  160. 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) 143-157
  161. (with L. M. Cabrer) Severi-Bouligand tangents, Frenet frames and Riesz spaces, Advances in Applied Mathematics, 64 (2015) 1-20
  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: July 21, 2015 doi:10.1017/etds.2015.45
  163. 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) 57-70
  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
  165. (with L. M. Cabrer) Classifying GL(n,Z)-orbits of points and rational subspaces, Discrete and Continuous Dynamical Systems, 36.9 (2016) 4723-4738
  166. Hopfian l-groups, MV-algebras and AF C*-algebras, Forum Mathematicum, 28.6 (2016) 1111-1130 doi 10.1515/forum-2015-0177
  167. Łukasiewicz logic and MV-algebras:recent results, South American Journal of Logic, Special issue honoring Francisco Miraglia on his 70th birthday, 2 (2016) 443-457. ISSN: 2446-6719
  168. Coherence of de Finetti coherence, Synthese, 194 (2017) 4055-4063. Published online on June 1, 2016, doi 10.1007/s11229-016-1126-9
  169. (with L. M. Cabrer) Idempotent endomorphisms of free MV-algebras and unital l-groups, Journal of Pure and Applied Algebra, 221 (2017) 908-934, http://dx.doi.org/10.1016/j.jpaa.2016.08.011
  170. (with L. M. Cabrer) Classifying orbits of the affine group over the integers, Ergodic Theory and Dynamical Systems, 37 (2017) 440-453, doi 10.1017/etds.2015.45
  171. (with L. M. Cabrer) Germinal theories in Łukasiewicz logic, Annals of Pure and Applied Logic, 168 (2017) 1132-1151, doi 10.1016/j.apal.2016.11.009
  172. (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) 497-507. Published online: December 8, 2014, doi 10.1093/logcom/exu073
  173. (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, doi 10.1007/978-3-319-53280-6-2
  174. Fans, decision problems and generators of free abelian l-groups, Forum Mathematicum, 29.6 (2017) 1429-1439, doi 10.1515/forum-2016-0255
  175. De Finetti coherence and the product law for independent events, Synthese, 196 (2019) 265-271. Published online: 24 June 2017, doi 10.1007/s11229-017-1471-3
  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. doi 10.1007/s00012-018-0511-2
  177. Betting on continuous independent events, Soft Computing, 23 (2019) 2289-2295. Published online: 19 June 2018, doi 10.1007/s00500-018-3323-6
  178. Coherence of the product law for independent continuous events, Chapter 10, pp 207-212, 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 978-3-319-98796-5, doi 10.1007/978-3-319-98797-2-10
  179. Word problems in Elliott monoids, Advances in Mathematics, 335 (2018) 343-371, doi 10.1016/j.aim.2018.07.015
  180. Triangles in diophantine approximation, Journal of Number Theory, 201 (2019) 176-189, doi 10.1016/j.jnt.2019.02.011
  181. Preservation properties of de Finetti coherence, Journal of Applied Logics- IfCoLog Journal of Logics and their Applications, 6(2) (2019) 381-394, ISBN 978-1-84890-301-2
  182. Computing on Lattice-Ordered 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. 210-225. First Online: 23 May 2020, doi 10.1007/978-3-030-48006-6_15
  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, doi 10.1007/s10231-020-00945-y
  184. What the Łukasiewicz axioms mean, The Journal of Symbolic Logic, 85(3) (2020) 906-917. Published online by Cambridge University Press: 30 October 2020, doi 10.1017/jsl.2020.74
  185. 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
  186. 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
  187. Consequence relations with real truth-values, In: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic, Vol. 21, Springer, New York, (2021), ISBN978-3-030-71257-0
  188. Bratteli diagrams via the De Concini-Procesi theorem, Communications in Contemporary Mathematics, 2021, doi 10.1142/S021919972050073X