Research

This page may not be complete or up-to-date.

LIST OF SCIENTIFIC PUBLICATIONS

  1. Fellin, Giulio & Schuster, Peter:
    Conservation as translation
    Review of Symbolic Logic (to appear, 2024)
  2. Fellin, Giulio & Negri, Sara:
    A terminating intuitionistic calculus
    Journal of Symbolic Logic (2024)
  3. Fellin, Giulio; Negri, Sara & Orlandelli, Eugenio:
    Glivenko sequent classes and constructive cut elimination in geometric logics
    Archive for Mathematical Logic (2023)
  4. Fellin, Giulio; Negri, Sara & Orlandelli, Eugenio:
    Constructive cut-elimination in geometric logic
    Leibniz International Proceedings in Informatics (2022)
  5. Fellin, Giulio; Schuster, Peter & Wessel, Daniel:
    The Jacobson Radical of a propositional theory
    Bulletin of Symbolic Logic (2022)
  6. Fellin, Giulio & Schuster, Peter:
    A General Glivenko-Gödel Theorem for Nuclei
    Electronic Proceedings in Theoretical Computer Science (2021)
  7. Fellin, Giulio; Negri, Sara & Schuster, Peter:
    Modal logic for induction
    Advances in Modal Logic (2020)
  8. Fellin, Giulio:
    A generalization of Cantor’s theorem
    Sarajevo Journal of Mathematics (2018)

The icon denotes a journal that ranks in the highest quarter of Journal Rankings on Logic according to SJR.

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