LIST OF SCIENTIFIC PUBLICATIONS
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)
MEMBERSHIPS
- Research groups:
- Logic Group at the University of Verona
- AI&ML&MAT – UMI Group Mathematics for Artificial Intelligence and Machine Learning
- GNSAGA – National Group for Algebraic and Geometric Structures and their Applications
- Associations related to Logic:
- AILA – Italian Association of Logic and its Applications
- SILFS – Italian Society of Logic and the Philosophy of Science
- Scandinavian Logic Society
- Associations related to Mathematics: