Giulio Fellin

According to our database, Giulio Fellin authored at least 12 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Unifying Conservation Theorem.

Giulio Fellin

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Conservation as Translation.

Giulio Fellin, Peter Schuster

Rev. Symb. Log., 2025

A Terminating intuitionistic Calculus.

Giulio Fellin, Sara Negri

J. Symb. Log., 2025

Constructivisation through Induction and Conservation.

Giulio Fellin

Bull. Symb. Log., 2025

Empowering Public Interest Communication with Argumentation - Project Report (short paper).

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

Proceedings of the 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2025) co-located with the 41st International Conference on Logic Programming (ICLP 2025), 2025

2024

A Vector-Based Extension of Value-Based Argumentation for Public Interest Communication.

Pietro Baroni, Giulio Fellin, Massimiliano Giacomin, Carlo Proietti

Proceedings of the 8th Workshop on Advances in Argumentation in Artificial Intelligence 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024

2023

Glivenko sequent classes and constructive cut elimination in geometric logics.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Arch. Math. Log., July, 2023

2022

Constructivisation through Induction and Conservation.

Giulio Fellin

PhD thesis, 2022

The Jacobson radical of a Propositional Theory.

Giulio Fellin, Peter Schuster, Daniel Misselbeck-Wessel

Bull. Symb. Log., 2022

2021

A General Glivenko-Gödel Theorem for Nuclei.

Giulio Fellin, Peter M. Schuster

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Constructive Cut Elimination in Geometric Logic.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2020

Modal Logic for Induction.

Giulio Fellin, Sara Negri, Peter M. Schuster

Proceedings of the 13th Conference on Advances in Modal Logic, 2020