SABATINI, Andrea
SABATINI, Andrea
Scuola Normale Superiore
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.006 secondi).
Abduction as deductive saturation. A proof-theoretic inquiry
2023 Piazza, Mario; Pulcini, Gabriele; Sabatini, Andrea
Hypersequent calculi for AGM belief revision
2025 Sabatini, Andrea
Hypersequent calculi for propositional default logics
2025 Piazza, Mario; Sabatini, Andrea
Nonmonotonic and normative reasoning: a unified proof-theoretic framework
2026 Sabatini, Andrea
On anticut rules: classical, FDE-based and intuitionistic logics
In corso di stampa Piazza, Mario; Sabatini, Andrea
Some remarks on the Curry-Howard correspondence for classical logic
2023 Sabatini, Andrea
| Titolo | Data di pubblicazione | Autori | Tipo | File |
|---|---|---|---|---|
| Abduction as deductive saturation. A proof-theoretic inquiry | 2023 | Piazza, MarioSabatini, Andrea + | 1.1 Articolo in rivista | |
| Hypersequent calculi for AGM belief revision | 2025 | Sabatini, Andrea | 2.1 Contributo in volume (Capitolo o Saggio) | |
| Hypersequent calculi for propositional default logics | 2025 | PIAZZA, MarioSABATINI, Andrea | 1.1 Articolo in rivista | |
| Nonmonotonic and normative reasoning: a unified proof-theoretic framework | 2026 | SABATINI, Andrea | 9.1 Tesi PhD | |
| On anticut rules: classical, FDE-based and intuitionistic logics | In corso di stampa | Piazza, MarioSabatini, Andrea | 1.1 Articolo in rivista | |
| Some remarks on the Curry-Howard correspondence for classical logic | 2023 | Sabatini, Andrea | 2.1 Contributo in volume (Capitolo o Saggio) |