Research

LIST OF SCIENTIFIC PUBLICATIONS IN REVERSE CHRONOLOGICAL ORDER

1. Conservation as translation
   (with P. Schuster) Review of Symbolic Logic (to appear)
2. A vector-based extension of value-based argumentation for public interest communication
   (with P. Baroni, M. Giacomin and C. Proietti) CEUR Workshop Proceedings (to appear, December 2024)
3. A terminating intuitionistic calculus
   (with S. Negri) Journal of Symbolic Logic (December 2023¹On the journal website. / to appear²In volume format.)
4. Glivenko sequent classes and constructive cut elimination in geometric logics
   (with S. Negri and E. Orlandelli) Archive for Mathematical Logic (December 2022³On the journal website. / July 2023⁴In volume format.)
5. Constructive cut-elimination in geometric logic
   (with S. Negri and E. Orlandelli) Leibniz International Proceedings in Informatics (August 2022)
6. A general Glivenko-Gödel theorem for nuclei
   (with P. Schuster) Electronic Proceedings in Theoretical Computer Science (December 2021)
7. The Jacobson radical of a propositional theory
   (with P. Schuster and D. Wessel) Bulletin of Symbolic Logic (December 2021⁵On the journal website. / June 2022⁶In volume format.)
8. Modal logic for induction
   (with S. Negri and P. Schuster) Advances in Modal Logic (August 2020)
9. A generalization of Cantor’s theorem
   Sarajevo Journal of Mathematics (August 2018)

PHD THESIS

• 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

---