Giulio Fellin

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Cut Elimination

Sequent Calculi

Inference Rules

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Giulio Fellin, Sara Negri, Eugenio Orlandelli
Glivenko sequent classes and constructive cut elimination in geometric logics. Arch. Math. Log. 62 (5-6) (2023)
Giulio Fellin, Peter Schuster, Daniel Wessel
The Jacobson radical of a Propositional Theory. Bull. Symb. Log. 28 (2) (2022)
Giulio Fellin, Peter Schuster
A General Glivenko-Gödel Theorem for Nuclei. MFPS (2021)
Giulio Fellin, Sara Negri, Eugenio Orlandelli
Constructive Cut Elimination in Geometric Logic. TYPES (2021)
Giulio Fellin, Sara Negri, Peter Schuster
Modal Logic for Induction. AiML (2020)