SABATINI, Andrea
SABATINI, Andrea
Classe di Lettere e Filosofia
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
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 propositional default logics | 2025 | PIAZZA, MarioSABATINI, Andrea | 1.1 Articolo in rivista |