Giulio Fellin

According to our database, Giulio Fellin authored at least 6 papers between 2020 and 2024.

Collaborative distances:

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

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

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