LIST OF SCIENTIFIC PAPERS

Note: Short publications (e.g. extended abstracts, project reports, etc.) are written in GRAY.

Submitted

  1. Giacomo Bartoli, Giulio Fellin, and Matteo Tesi. Infinitary negative translations and Glivenko logic. Submitted.
  2. Giulio Fellin, Peter Schuster, Franziskus Wiesnet, and Ihsen Yengui. A constructive Ax–Grothendieck theorem. Submitted.

2026

  1. Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, and Carlo Proietti. An argument-based model for public interest communication. Journal Of Logic And Computation, to appear (2026).
  2. Riccardo Borsetto, Giulio Fellin, Tarmo Uustalu, and Cheng-Syuan Wan. Glivenko’s theorem underneath structure. In Vasco Brattka, Henning Fernau and Lorenzo Galeotti, editors, Timeless Machines: Computability Across Eras, CiE 2026, to appear (2026).
    → Agda formalisation by Riccardo Borsetto
  3. Giulio Fellin, Sara Negri, and Peter Schuster. Nuclear shifts for conservation. In Vasco Brattka, Henning Fernau and Lorenzo Galeotti, editors, Timeless Machines: Computability Across Eras, CiE 2026, to appear (2026).
  4. Giulio Fellin. A unifying conservation theorem. In Stefano Guerrini and Barbara König, editors, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), volume 363 of Leibniz International Proceedings in Informatics, pages 4:1–44:23, Paris, February 2026.

2025

  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. Giulio Fellin and Peter Schuster. Conservation as translation. The Review of Symbolic Logic, March 2025.1 January 2025 on the journal website.
  4. Giulio Fellin and Sara Negri. A terminating intuitionistic calculus. The Journal of Symbolic Logic, pages 1–20, March 2025.2 December 2023 on the journal website.
  5. Giulio Fellin. Constructivisation through Induction and Conservation. The Bulletin of Symbolic Logic, 31(4):695–695, December 2025.
  6. 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.

2024

  1. 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.
  2. 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.

2023

  1. Giulio Fellin, Sara Negri, and Eugenio Orlandelli. Glivenko sequent classes and constructive cut elimination in geometric logics.3This is an extended and updated version of the similarly titled 2022 paper. Archive for Mathematical Logic, 62:657–688, July 2023.4 December 2022 on the journal website.

2022

  1. 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.
  2. Giulio Fellin, Peter Schuster, and Daniel Wessel. The Jacobson radical of a propositional theory. The Bulletin of Symbolic Logic, 28:163–181, June 2022.5 December 2021 on the journal website

2021

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

2020

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

2019

  1. 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, pages 287–299, University of Tübingen, 2019.

2018

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

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