LIST OF SCIENTIFIC PUBLICATIONS IN REVERSE CHRONOLOGICAL ORDER

  1. Giulio Fellin and Peter Schuster. Conservation as translation. The Review of Symbolic Logic, January 20251On the journal website. / March 20252In volume format..
  2. 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.
  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 Overview. In Carlo Proietti and Carlo Taticchi, editors, Advances in Argumentation in Artificial Intelligence 2024, volume 3871 of CEUR Workshop Proceedings, December 2024.
  4. 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..
  5. 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..
  6. 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.
  7. 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.
  8. Giulio Fellin, Peter Schuster, and Daniel Wessel. The Jacobson radical of a propositional theory.8This is an extended and updated version of the eponymous 2019 paper. The Bulletin of Symbolic Logic, 28:163–181, December 20219On the journal website. / June 202210In volume format..
  9. 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.
  10. Giulio Fellin, Peter Schuster, and Daniel Wessel. The Jacobson radical of a propositional theory. In Thomas Piecha and Peter Schroeder-Heister, editors, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, October 2019.
  11. Giulio Fellin. A generalization of Cantor’s theorem. Sarajevo Journal of Mathematics, 14, August 2018.

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