FELLIN, GIULIO
FELLIN, GIULIO
DIPARTIMENTO DI BIOTECNOLOGIE
A General Glivenko–Gödel Theorem for Nuclei
2021-01-01 Fellin, Giulio; Schuster, Peter
A Generalization of Cantor’s Theorem
2018-01-01 Fellin, Giulio
A NetLogo Tool for Exploring Value-Based Argumentation in Public Interest Communication
2025-01-01 Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo
A TERMINATING INTUITIONISTIC CALCULUS
2025-01-01 Fellin, Giulio; Negri, Sara
A Vector-Based Extension of Value-Based Argumentation for Public Interest Communication
2024-01-01 Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo
CONSERVATION AS TRANSLATION
2025-01-01 Fellin, Giulio; Schuster, Peter
Constructive Cut Elimination in Geometric Logic
2022-01-01 Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Empowering Public Interest Communication with Argumentation - Project Overview
2024-01-01 Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola
Empowering Public Interest Communication with Argumentation - Project Report
2025-01-01 Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola
Glivenko sequent classes and constructive cut elimination in geometric logics
2023-01-01 Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Modal logic for induction
2020-01-01 Schuster, Peter; Negri, Sara; Fellin, Giulio
On Monotonic and Nonmonotonic Effects of Arguments in Public Interest Communication
2025-01-01 Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo
The Jacobson Radical of a Propositional Theory
2022-01-01 Fellin, Giulio; Schuster, Peter; Wessel, Daniel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A General Glivenko–Gödel Theorem for Nuclei | 1-gen-2021 | Fellin, Giulio; Schuster, Peter | |
| A Generalization of Cantor’s Theorem | 1-gen-2018 | Fellin, Giulio | |
| A NetLogo Tool for Exploring Value-Based Argumentation in Public Interest Communication | 1-gen-2025 | Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo | |
| A TERMINATING INTUITIONISTIC CALCULUS | 1-gen-2025 | Fellin, Giulio; Negri, Sara | |
| A Vector-Based Extension of Value-Based Argumentation for Public Interest Communication | 1-gen-2024 | Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo | |
| CONSERVATION AS TRANSLATION | 1-gen-2025 | Fellin, Giulio; Schuster, Peter | |
| Constructive Cut Elimination in Geometric Logic | 1-gen-2022 | Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio | |
| Empowering Public Interest Communication with Argumentation - Project Overview | 1-gen-2024 | Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola | |
| Empowering Public Interest Communication with Argumentation - Project Report | 1-gen-2025 | Baroni, Pietro; Bistarelli, Stefano; Fazzinga, Bettina; Fellin, Giulio; Flesca, Sergio; Furfaro, Filippo; Giacomin, Massimiliano; Parisi, Francesco; Proietti, Carlo; Russo, Irene; Santini, Francesco; Taticchi, Carlo; Vernillo, Paola | |
| Glivenko sequent classes and constructive cut elimination in geometric logics | 1-gen-2023 | Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio | |
| Modal logic for induction | 1-gen-2020 | Schuster, Peter; Negri, Sara; Fellin, Giulio | |
| On Monotonic and Nonmonotonic Effects of Arguments in Public Interest Communication | 1-gen-2025 | Baroni, Pietro; Fellin, Giulio; Giacomin, Massimiliano; Proietti, Carlo | |
| The Jacobson Radical of a Propositional Theory | 1-gen-2022 | Fellin, Giulio; Schuster, Peter; Wessel, Daniel |