Daniele Mundici

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


Biographical and Personal Information


Education


Employment Record


Visiting


Academies

Honors and Awards


Selected Administrative Positions


Editorial Boards


Proceedings Editor


Invited Plenary Lectures (a selection)


Selected Short Courses


Referee for


Selected Scientific Committees


Ph D Thesis Advisor


Publications


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 Goedel 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, San Paulo, Brazil, (1994), Second edition, 1995.
  64. (with M. Pasquetto) A proof of the completeness of the infinite-valued calculus of Łukasiewicz with one variable. In: Non-classical Logics and their Applications, Hähle, U., Klement, E.P.K. (Eds). Dordrecht: Kluwer Academic Publishers, (1995), 107-123.
  65. (with W. Sieg), Paper Machines, Philosophia Mathematica, (3) 3 (1995) 5-30.
  66. Averaging the truth value in Łukasiewicz sentential logic. Special issue in honor of Helena Rasiowa. Studia Logica, 55 (1995) 113-127.
  67. Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W.Hodges et al., Eds., Oxford University Press, (1996), 401-423.
  68. Uncertainty measures in MV algebras, and states of AF C*-algebras, Special issue in memoriam Rolando Chuaqui, Notas de la Sociedad de 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. Goedel incompleteness and quantum thermodynamic limits, In: Philosophy of Mathematics Today, Kluwer Academic Publishers, (1997), 287-298.
  72. (with W. Sieg), Computability. Routledge Encyclopedia.
  73. (with R. Cignoli), An invitation to Chang's MV-algebras, In: Advances in Algebra and Model Theory, M. Droste, R. Goebel, Eds., Gordon and Breach Publishing Group, Reading, UK, (1997), 171-197.
  74. (with A. Trombetta), Optimal comparison strategies in Ulam's searching game with two errors, Theoretical Computer Science, 182 (1997) 217-232.
  75. Nonboolean partitions and their logic. (First Springer Forum on Soft Computing), Soft Computing, 2 (1998) 18-22.
  76. (with N. Olivetti), Resolution and model building in the infinite-valued calculus of Łukasiewicz, Theoretical Computer Science, 200 (1998) 335-366.
  77. (with R. Cignoli) An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit, Studia Logica, 61 (1998) 49-64.
  78. (with G. Panti) Twenty questions with many-valued answers, In: Models, algebras, and proofs, Selected papers of the Xth Latin American Symposium on Mathematical Logic, X. Caicedo, C.H. Montenegro, Eds. Marcel Dekker, Inc., New York, Basel, (1999), 295-313.
  79. Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999) 227-248.
  80. (with G. Panti) A constructive proof that every 3-generated l-group is ultrasimplicial, Banach Center Publications, Vol. 46 (1999) 169-178.
  81. Classes of ultrasimplicial lattice-ordered abelian groups, Journal of Algebra, 213 (1999) 596-603.
  82. (with F. Cicalese) Optimal binary search with two unreliable tests and minimum adaptiveness, In: Proc. European Symposium on Algorithms, ESA `99, J. Nesetril, Ed., Lecture Notes in Computer Science, 1643 (1999) 257-266.
  83. Ulam game, the logic of Maxsat, and many-valued partitions, In: Fuzzy Sets, Logics and Reasoning about Knowledge, D. Dubois, H. Prade, E.P.Klement, Eds., Kluwer Academic Publishers, (1999), 121-137.
  84. (with J.Gispert and A. Torrens) Ultraproducts of Z with an application to many-valued logics, Journal of Algebra, 219 (1999) 214-233.
  85. Foreword: Logics of Uncertainty, Journal of Logic, Language and Information, 9 (2000) 1-3.
  86. (with R. Cignoli and I.M.L.D'Ottaviano), Algebraic Foundations of many-valued Reasoning, Trends in Logic, Vol. 7, Kluwer Academic Publishers, Dordrecht, (2000).
  87. (with F. Cicalese), Perfect two fault-tolerant search with minimum adaptiveness, Advances in Applied Mathematics, 25 (2000) 65-101.
  88. (with F. Cicalese and U.Vaccaro), Least adaptive optimal search with unreliable tests, Proceedings SWAT2000, Lecture Notes in Computer Science, 1851 (2000) 549-562.
  89. Reasoning on imprecisely defined functions, In: Discovering the World with Fuzzy Logic, V.Novak, I.Perfilieva, Eds., Studies in Fuzziness and Soft Computing, Vol. 57, Physica-Verlag, Springer, (2000) 331-366.
  90. (with F. Cicalese), Optimal coding with one asymmetric error: below the sphere packing bound, In: Proceedings COCOON2000, Lecture Notes in Computer Science, 1858 (2000) 159-169.
  91. (with C.Drossos), Many-valued points and equality, Special issue in honor Newton C.A.da Costa, Synthese, 125 (2000) 97-101.
  92. (with S.Aguzzoli), Weierstrass approximations by Łukasiewicz formulas with one quantified variable, In: Proceedings 31st IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2001), 361-366.
  93. (with R. Cignoli), Partial isomorphisms on totally ordered abelian groups and Hajek's completeness theorem for basic logic, Multiple valued Logic, special issue dedicated to the memory of Grigore Moisil, Vol. 6 (2001) 89-94.
  94. (with F. Cicalese and U. Vaccaro), Rota-Metropolis cubic logic and Ulam-Rényi games, In: Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota, (H. Crapo, D. Senato, Eds.), Springer-Italia, Milan, (2001), 197-244.
  95. (with G.Panti), Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001) 269-278.
  96. Fault-tolerance and Rota-Metropolis cubic logic, In: Paraconsistency, Chapter 19, W. Carnielli et al., Eds., Marcell Dekker, Inc., (2002), 397-409.
  97. (with F. Cicalese and U. Vaccaro), Least adaptive optimal search with unreliable tests. Theoretical Computer Science, 270, (2002) 877-893.
  98. (with B. Riecan) Probability on MV-algebras, In: Handbook of Measure Theory, E. Pap, Ed., North-Holland, Amsterdam, (2002), 869-909.
  99. (with V. Marra,) Combinatorial fans, l-groups and their neighbours, a short excursion. Semin. Lothar. de Combinatoire, 47: Article B47f, (2002), an electronic journal.
  100. (with V. Marra,) MV-algebras and abelian l-groups: a fruitful interaction, In: Ordered Algebraic Structures, honoring Paul Conrad for his 80th Birthday, J.Martinez, Ed., Kluwer, (2002), 57-88.
  101. (with V. Marra,) Consequence and complexity in infinite-valued logic: a survey, In: Proceedings 32nd IEEE Int. Symp. on Multiple-Valued Logic, ISMVL, (2002), Boston, 104-114.
  102. If-then-else and rule extraction from two sets of rules, In: From Synapses to Rules, Proceedings of an International Workshop held at the Center for Physics "E. Majorana", Erice, Italy. B. Apolloni et al., Eds., Kluwer/Plenum, NY, (2002), 87-108.
  103. (with F. Cicalese,) Learning and the art of fault-tolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning. Stamatescu, I. et al., Eds., Springer, (2003), 117-143.
  104. (with S. Aguzzoli,) Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable, In: Beyond Two: Theory and applications of multiple-valued logic, E. Orlowska, M. Fitting, Eds., Physica-Verlag, Springer, Heidelberg, NY, (2003), 315-335.
  105. (with V.Marra), Łukasiewicz logic and Chang's MV algebras in action, In: 50 Years of Studia Logica, Trends in Logic, Vol. 21. V.Hendricks, J.Malinowski, Eds., Kluwer, Dordrecht, (2003), 145-192.
  106. (with A.De Simone and M.Navara), A Cantor-Bernstein theorem for sigma-complete MV-algebras, Czechoslovak Math.J, 53 (128), (2003), 437-447.
  107. (with R. Cignoli and E.Dubuc), An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism, Tatra Mountains Math. Publications. Special issue in honour Prof. J.Jakubik on his 80th birthday, Vol. 27, (2003), 23-43.
  108. Simple Bratteli diagrams with a Goedel incomplete isomorphism problem, Transactions of the American Math. Soc., 356 (2004) 1937-1955.
  109. (with R. Cignoli and E.Dubuc), Extending Stone duality to multisets, Journal of Pure and Applied Algebra, 189 (2004) 37-59
  110. (with F. Cicalese, C. Deppe,) Q-ary Ulam-Rényi game with weighted constrained lies, In: Proceedings COCOON 2004, Lecture Notes in Computer Science, 3106 (2004) 82-91.
  111. (with J. Gispert) MV-algebras: a variety for magnitudes with archimedean units, Algebra Universalis, Special Issue in memoriam Wim Blok, 53.1 (2005) 7 - 43.
  112. Decidability and Goedel incompleteness in AF C*-algebras, Manuscrito, Rev. Int. Fil., Special Issue in honour I.M.L.D'Ottaviano on her 60th birthday, Vol. 28 (2005) 547-588.
  113. A Characterization of the free n-generated MV-algebra, Archive for Mathematical Logic, 45 (2006) 239-247.
  114. (with R. Cignoli, and M.Navara), Kleene-isomorphic sigma-complete MV-algebras with product are isomorphic, Multiple valued logics and soft computing, Special issue in memoriam H. Thiele, 12.1 (2006) 1-8.
  115. (with R. Cignoli), Stone duality for Dedekind sigma-complete l-groups with order-unit, Journal of Algebra, 302 (2006) 848-861.
  116. Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006) 223-240.
  117. (with V. Marra), Riemann average truth-value of Łukasiewicz formulas, Special Issue in honour B. Riecan for his 70th birthday. Math. Slovaca, 56 (2006) 511-524.
  118. Representation of sigma-complete MV-algebras and their associated Dedekind sigma-complete l-groups, Contemporary Mathematics, AMS, Vol. 419, Oxford University Press, (2006) 219-230.
  119. Revisiting the free two-generator lattice-ordered abelian group, Journal of Pure and Applied Algebra, 208 (2007) 549-554.
  120. (with C. Manara and V. Marra), Lattice-ordered Abelian groups and Schauder bases of unimodular fans, Transactions of the American Mathematical Society, 359 (2007) 1593-1604.
  121. (with V. Marra, and A.M.W. Glass), Embedding in finitely presented lattice-ordered groups, In: Groups St. Andrews 2005, London Mathematical Society Lecture Notes Series, Vol. 340, Cambridge University Press, (2007) 438-444.
  122. (with M. Busaniche), Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007) 1-22.
  123. Free generating sets of lattice-ordered abelian groups, Journal of Pure and Applied Algebra, 211 (2007) 400-403.
  124. (with V. Marra), The Lebesgue state of a unital abelian l-group, Journal of Group Theory, 10 (2007) 655-684.
  125. (with J. Kühr), De Finetti theorem and Borel states in [0,1]-valued algebraic logic, International Journal of Approximate Reasoning, 46 (2007) 605-616.
  126. La logica dei poliedri, Bollettino Unione Matematica Italiana, special issue with the plenary invited talks in the UMI 18th Congress held in Bari, Italy, September 2007, IX, Vol. I, No. 2 (2008) 455-474.
  127. Geometry of filters in free MV-algebras, Boletim da Sociedade Portuguesa de 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), Goedel incompleteness in AF C*-algebras, Forum Mathematicum, 20.6 (2008) 1071-1084.
  131. The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008) 537-549.
  132. Rota, probability, algebra and logic, In: From Combinatorics to Philosophy, E. Damiani et al., (Eds.), Springer, New York, (2009) 167-181.
  133. Recognizing the Farey-Stern-Brocot AF algebra, Rendiconti Lincei Mat. Appl., 20 (2009) 327-338.
  134. Conditionals and independence in many-valued logics, In: Proceedings 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU09. C. Sossai and G. Chemello (Eds.), Lecture Notes in Artificial Intelligence, 5590 (2009) 16-21.
  135. Interpretation of de Finetti coherence criterion in Łukasiewicz logic, Annals of Pure and Applied Logic, 161 (2009) 235-245.
  136. (with L. Cabrer), Projective MV-algebras and rational polyhedra, Algebra Universalis, special issue in memoriam Paul Conrad, (J.Martinez et al., Eds.), 62 (2009) 63-74.
  137. From BL to MV, In: Witnessed Years. Essays in Honour Petr Hájek, (P.Cintula et al., Eds.), College Publications, King's College, London, (2010), 273-286.
  138. (with J. Kühr), From free abelian groups to free abelian l-groups, Mathematica Slovaca, special issue honoring Charles Holland on his 75th birthday, 61(3) (2011) 1-12.
  139. A compact [0,1]-valued first-order Łukasiewicz logic with identity on Hilbert space, J. Logic and Computation, 21(3) (2011) 509-525.
  140. (with F. Cicalese), Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic, In: Proof, Computation and Agency, Synthese Library, Vol. 352, Part 3, 2011, 115-131.
  141. Logica: Metodo Breve, 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, pp. 209-214.
  144. (with L.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 honouring 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. Cabrer), Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups, Forum Mathematicum, 24 (2012) 253-271.
  150. (with L.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. 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. DOI 10.1017/S096354831300062X
  154. Universal properties of Łukasiewicz consequence, Logica Universalis, 8.1 (2014) 17-24. DOI 10.1007/s11787-013-0091-z
  155. (with M.Busaniche) Bouligand-Severi tangents in MV-algebras, Revista Matemática Iberoamericana, 30.1 (2014) 191-201. DOI 10.4171/rmi/774
  156. (with A.Pedrini) The Euler characteristic and valuations on MV-algebras, Mathematica Slovaca, special issue honouring J. Jakubík on his 90th birthday, 64.3 (2014) 563{570. DOI: 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, pp. 85-120.
  158. (with L.Cabrer) Interval MV-algebras and generalizations, International Journal of Approximate Reasoning, 55 (2014) 1623-1642. http://dx.doi.org/10.1016/j.ijar.2014.05.002
  159. (with M.Busaniche and L. Cabrer) Polyhedral MV-algebras, Fuzzy Sets and Systems, special issue honouring F. Esteva on his 70th birthday, (2014). http://dx.doi.org/10.1016/j.fss.2014.06.015
  160. (with C.Picardi) Faulty sets of Boolean formulas and Łukasiewicz logic, Journal of Logic and Computation, special issue honouring Alexander Leitsch, (2014). DOI:10.1093/logcom/exu073
  161. (with L.Cabrer) A Stone-Weierstrass theorem for MV-algebras and unital l-groups, Journal of Logic and Computation, 25.3 (2014) 683-699. DOI: 10.1093/logcom/exu023
  162. 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, pp.143-157. DOI 10.1007/978-3-319-06233-4
  163. (with L. Cabrer) Severi-Bouligand tangents, Frenet frames and Riesz spaces, Advances in Applied Mathematics, 64 (2015) 1-20. http://dx.doi.org/10.1016/j.aam.2014.11.004
  164. (with L. Cabrer) Classifying orbits of the affine group over the integers, Ergodic Theory and Dynamical Systems, Cambridge University Press, 2015. DOI:10.1017/etds.2015.45