Giovanni Panti's List of Publications

  1. The finiteness conjecture holds in SL(2,Z>=0)^2, (joint paper with D. Sclosa), https://arxiv.org/abs/2006.16899, 2020.
  2. Billiards on pythagorean triples and their Minkowski functions, Discrete and Continuous Dynamical Systems, 40(7), 4341-4378, 2020.
  3. Decreasing height along continued fractions, Ergodic Theory Dynam. Systems, 40(3), 763-788, 2020.
  4. Slow continued fractions, transducers, and the Serret theorem, J. Number Theory, 185, 121-143, 2018.
  5. The weighted Farey sequence and a sliding section for the horocycle flow, http://arxiv.org/abs/1503.02539, 2015.
  6. Measures induced by units, (joint paper with D. Ravotti), Journal of Symbolic Logic, 78(3), 886-910, 2013.
  7. Denominator-preserving maps, Aequationes Mathematicae, 84(1), 13-25, 2012.
  8. Kakutani-von Neumann maps on simplexes, Acta Arithmetica, 148(4), 333-350, 2011.
  9. A general Lagrange theorem, American Mathematical Monthly, 116(1), 70-74, 2009.
  10. Multidimensional continued fractions and a Minkowski function, Monatshefte für Mathematik, 154, 247-264, 2008.
  11. Invariant measures in free MV-algebras, Communications in Algebra, 36(8), 2849-2861, 2008.
  12. The automorphism group of falsum-free product logic, in Algebraic and Proof-Theoretic Aspects of Non-classical Logics, S. Aguzzoli et al. eds., Lecture Notes in Artificial Intelligence, vol. 4460, Springer, 275-289, 2007.
  13. Bernoulli automorphisms of finitely generated free MV-algebras, J. of Pure and Applied Algebra, 208(3), 941-950, 2007.
  14. Dynamical properties of logical substitutions, Discrete and Continuous Dynamical Systems, Series A, 15(1), 237-258, 2006.
  15. Generic substitutions, J. of Symbolic Logic, 70(1), 61-83, 2005.
  16. Geometrical methods in Wajsberg hoops, (joint paper with P. Aglianò), J. of Algebra 256(2), 352-374, 2002.
  17. Adding structure to MV-algebras, (joint paper with F. Montagna), J. of Pure and Applied Algebra, 164(3), 365-387, 2001.
  18. Decidable and undecidable prime theories in infinite-valued logic, (joint paper with D. Mundici), Annals of Pure and Applied Logic, 108(1-3), 269-278, 2001.
  19. Prime ideals in free l-groups and free vector lattices, J. of Algebra 219(1), 173-200, 1999.
  20. A constructive proof that every 3-generated l-group is ultrasimplicial, (joint paper with D. Mundici), in Logic, Algebra, and Computer Science. Helena Rasiowa in memoriam, D. Niwinski and M. Zawadowski eds., Banach Centre Publications vol. 46, 169-178, 1999.
  21. Varieties of MV-algebras, J. of Applied Non-Classical Logics 9(1), 141-157, 1999.
  22. Twenty questions with many-valued answers, (joint paper with D. Mundici), in Models, Algebras and Proofs, X. Caicedo and C. Montenegro eds., Lecture Notes in Pure and Applied Mathematics, vol. 203, Dekker, 295-313, 1998.
  23. Finitely generated free MV-algebras and their automorphism groups, (joint paper with A. Di Nola and R. Grigolia), Studia Logica 61(1), 65-78, 1998.
  24. Multi-valued logics, in Handbook of Defensible Reasoning and Uncertainty Management Systems, vol. 1, D. Gabbay and P. Smets eds., Kluwer, 25-74, 1998.
  25. La logica infinito-valente di Lukasiewicz, Ph.D. thesis, Dept. of Mathematics, University of Siena, 1995 (in Italian).
  26. A geometric proof of the completeness of the Lukasiewicz calculus, Journal of Symbolic Logic 60, 563-578, 1995.
  27. The equivalence problem for Bratteli diagrams, (joint paper with D. Mundici), Mathematical Report n. 259, University of Siena, 1993.
  28. Extending addition in Elliott's local semigroup, (joint paper with D. Mundici), J. of Functional Analysis 117, 461-472, 1993.
  29. The logic of partially ordered abelian groups with strong unit, Proceedings of the XVth Incontro di Logica Matematica di Camerino, G. Gerla ed., 85-107, 1992.
  30. Classification of dimension groups over Z^3, Mathematical Report n. 238, University of Siena, 1991.
  31. Solution of a number theoretic problem involving knowledge, International J. of Foundat. Comp. Sci. 2(4), 419-424, 1991.
  32. The relative complexity of cut-free Gentzen systems and resolution, Master's thesis, University of Toronto, 1990.