SABATINI, Andrea
SABATINI, Andrea
Classe di Lettere e Filosofia
Mostra
records
Risultati 1 - 5 di 5 (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
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 | |
| 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) |