Giulio Fellin

11 papers B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
A Unifying Conservation Theorem.
CSL
Giulio Fellin
2025 J jnl
A Terminating intuitionistic Calculus.
J. Symb. Log.
Giulio Fellin, Sara Negri
2025 J jnl
Conservation as Translation.
Rev. Symb. Log.
Giulio Fellin, Peter Schuster
2025 J jnl
Constructivisation through Induction and Conservation.
Bull. Symb. Log.
Giulio Fellin
2025 — conf
Empowering Public Interest Communication with Argumentation - Project Report (short paper).
AI^3@ICLP
Pietro Baroni, Stefano Bistarelli, Bettina Fazzinga, Giulio Fellin, Sergio Flesca, Filippo Furfaro, Massimiliano Giacomin, Francesco Parisi, Carlo Proietti, Irene Russo, Francesco Santini, Carlo Taticchi, Paola Vernillo
2024 — conf
A Vector-Based Extension of Value-Based Argumentation for Public Interest Communication.
AI³@AI*IA
Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, Carlo Proietti
2023 J jnl
Glivenko sequent classes and constructive cut elimination in geometric logics.
Arch. Math. Log.
Giulio Fellin, Sara Negri, Eugenio Orlandelli
2022 J jnl
The Jacobson radical of a Propositional Theory.
Bull. Symb. Log.
Giulio Fellin, Peter Schuster, Daniel Misselbeck-Wessel
2021 B conf
A General Glivenko-Gödel Theorem for Nuclei.
MFPS
Giulio Fellin, Peter M. Schuster
2021 — conf
Constructive Cut Elimination in Geometric Logic.
TYPES
Giulio Fellin, Sara Negri, Eugenio Orlandelli
2020 B conf
Modal Logic for Induction.
AiML
Giulio Fellin, Sara Negri, Peter M. Schuster