This list may not be complete or up-to-date.

  • Fellin, G. A generalization of Cantor’s theorem. Sarajevo Journal Of Mathematics. 14 (2018)
  • Fellin, G., Negri, S. & Orlandelli, E. Constructive cut-elimination in geometric logic. 27th International Conference On Types For Proofs And Programs (TYPES 2021). (2021)
  • Fellin, G., Negri, S. & Schuster, P. Modal logic for induction. Advances In Modal Logic. 13 pp. 209-227 (2020), Advances in Modal Logic 2020, Helsinki, Finland (on-line), August 24–28, 2020
  • Fellin, G. & Schuster, P. A General Glivenko-Gödel Theorem for Nuclei. Proceedings Of The 37th Conference On The Mathematical Foundations Of Programming Semantics, MFPS 2021, Salzburg, Austria, August 29–September 3, 2021. (2021)
  • Fellin, G., Schuster, P. & Wessel, D. The Jacobson Radical of a Propositional Theory. The Bulletin Of Symbolic Logic. pp. 1-20 (2021)


  • Research groups:
    • Logic Group at the University of Verona
    • AI&ML&MAT – UMI Group Mathematics for Artificial Intelligence and Machine Learning
    • GNSAGANational Group for Algebraic and Geometric Structures and their Applications
  • Associations related to Logic:
  • Associations related to Mathematics:
    • UMIItalian Mathematical Union
    • EMSEuropean Mathematical Society