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 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   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 K0, 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 K0 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. 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) 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.