LIST OF SCIENTIFIC PUBLICATIONS BY SUBJECT

LOGIC, ESPECIALLY PROOF THEORY

  1. Giulio Fellin and Peter Schuster. Conservation as translation. The Review of Symbolic Logic, January 20251On the journal website. / March 20252In volume format..
  2. Giulio Fellin and Sara Negri. A terminating intuitionistic calculus. The Journal of Symbolic Logic, pages 1–20, December 20233On the journal website. / March 20254In volume format..
  3. Giulio Fellin, Sara Negri, and Eugenio Orlandelli. Glivenko sequent classes and constructive cut elimination in geometric logics.5This is an extended and updated version of the similarly titled 2022 paper. Archive for Mathematical Logic, 62:657–688, December 20226On the journal website. / July 20237In volume format..
  4. Giulio Fellin, Sara Negri, and Eugenio Orlandelli. Constructive cut-elimination in geometric logic. In Henning Basold, Jesper Cockx, and Silvia Ghilezan, editors, 27th International Conference on Types for Proofs and Programs (TYPES 2021), volume 239 of Leibniz International Proceedings in Informatics, pages 7:1–7:16, August 2022.
  5. Giulio Fellin and Peter Schuster. A general Glivenko-Gödel theorem for nuclei. In Anna Sokolova, editor, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics Hybrid: Salzburg, Austria and Online, 30th August – 2nd September, 2021, volume 351 of Electronic Proceedings in Theoretical Computer Science, pages 51–66, December 2021.
  6. Giulio Fellin, Peter Schuster, and Daniel Wessel. The Jacobson radical of a propositional theory. The Bulletin of Symbolic Logic, 28:163–181, December 20218On the journal website. / June 20229In volume format..
  7. Giulio Fellin, Sara Negri, and Peter Schuster. Modal logic for induction. In Nicola Olivetti, Rineke Verbrugge, Sara Negri, and Gabriel Sandu, editors, Advances in Modal Logic, volume 13, pages 209–227, London, August 2020. College Publications.
  8. Giulio Fellin. A generalization of Cantor’s theorem. Sarajevo Journal of Mathematics, 14, August 2018.

ARGUMENTATION THEORY

  1. Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, and Carlo Proietti. A NetLogo Tool for Exploring Value-Based Argumentation in Public Interest Communication. In Mario Alviano and Bettina Fazzinga, editors, Advances in Argumentation in Artificial Intelligence 2025, volume 4025 of CEUR Workshop Proceedings, September 2025.
  2. Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, and Carlo Proietti. On Monotonic and Nonmonotonic Effects of Arguments in Public Interest Communication. In Mario Alviano and Bettina Fazzinga, editors, Advances in Argumentation in Artificial Intelligence 2025, volume 4025 of CEUR Workshop Proceedings, September 2025.
  3. Pietro Baroni, Stefano Bistarelli, Bettina Fazzinga, Giulio Fellin, Sergio Flesca, Filippo Furfaro, Massimiliano Giacomin, Francesco Parisi, Carlo Proietti, Irene Russo, Francesco Santini, Carlo Taticchi, and Paola Vernillo. Empowering Public Interest Communication with Argumentation – Project Report. In Mario Alviano and Bettina Fazzinga, editors, Advances in Argumentation in Artificial Intelligence 2025, volume 4025 of CEUR Workshop Proceedings, September 2025.
  4. Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, and Carlo Proietti. A vector-based extension of value-based argumentation for public interest communication. In Carlo Proietti and Carlo Taticchi, editors, Advances in Argumentation in Artificial Intelligence 2024, volume 3871 of CEUR Workshop Proceedings, December 2024.
  5. Pietro Baroni, Stefano Bistarelli, Bettina Fazzinga, Giulio Fellin, Sergio Flesca, Filippo Furfaro, Massimiliano Giacomin, Francesco Parisi, Carlo Proietti, Irene Russo, Francesco Santini, Carlo Taticchi, and Paola Vernillo. Empowering Public Interest Communication with Argumentation – Project Overview. In Carlo Proietti and Carlo Taticchi, editors, Advances in Argumentation in Artificial Intelligence 2024, volume 3871 of CEUR Workshop Proceedings, December 2024.

PHD THESIS

RESEARCH PROJECTS

I’ve been part of the following projects:

A 3D model of a 3-atomic Boolean Algebra getting quotiented into a 2-atomic Boolean Algebra getting quotiented into a degenerate Boolean Algebra (0=1).