Research

LIST OF SCIENTIFIC PUBLICATIONS IN REVERSE CHRONOLOGICAL ORDER

1. Giulio Fellin and Peter Schuster.
   Conservation as translation.
   The Review of Symbolic Logic, to appear.
   
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 (Extended Abstract).
   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 2023¹On the journal website. / to appear²In volume format..
   
5. Giulio Fellin, Sara Negri, and Eugenio Orlandelli.
   Glivenko sequent classes and constructive cut elimination in geometric logics.³This is an extended and updated version of the similarly titled 2022 paper.
   Archive for Mathematical Logic, 62:657–688, December 2022⁴On the journal website. / July 2023⁵In 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⁶This is an extended and updated version of the eponymous 2019 paper.
   The Bulletin of Symbolic Logic, 28:163–181, December 2021⁷On the journal website. / June 2022⁸In 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

• Giulio Fellin.
  Constructivisation through Induction and Conservation.
  University of Helsinki (2022)
  ISBN 978-951-51-8459-7 (softcover)
  ISBN 978-951-51-8460-3 (PDF)

RESEARCH PROJECTS

I’ve been part of the following projects:

• Empowering Public Interest Communication with Argumentation (EPICA)
• Reducing complexity in algebra, logic, combinatorics (REDCOM)
• A new dawn of Intuitionism: mathematical and philosophical advances

---