On the semantics of proofs in classical sequent calculus Notes about a tentative approach to the denotational semantics of classical sequent calculus
On the semantics of proofs in classical sequent calculus Slides of my talk at the Logic seminar of the Department of Mathematics at Roma Tre University, in Rome, Italy (June 16th, 2023)
Non-trivial invariants of rule permutation and cut-elimination in classical sequent calculus Slides of my talk at the ASL Logic Colloquium 2023 in Milan, Italy
On the content of classical propositional proofs Slides of my talk at the Logic Group seminar at Scuola Normale Superiore, in Pisa, Italy (May 15th, 2023)
A study of Normalization in Classical Logic Thesis for the Master's degree in Philosophy (in Italian)
Human and christian love in the thought of Augustine of Hippo and Thomas Aquinas Undergraduate thesis for the Bachelor degree in Philosophy (in Italian)