Giulio Fellin

According to our database, Giulio Fellin authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

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