Embedded Files
overview
Il corso (nel ssd MAT/01, Logica Matematica) affronta alcune questioni della teoria della dimostrazione del ventesimo secolo in connessione con le tematiche della ricerca contemporanea in logica matematica specialmente in logica lineare
Associate Professor of Mathematical Logic (s.s.d. MAT/01)
Department of Mathematics and Physics (DMF) of "Roma Tre" University
Largo San Leonardo Murialdo, 1 - 00146 Rome (Italy) - Room 206 (2nd floor), Building C
Ph. : +39 06 57 33 84 19 - @ : maieli(AT)mat.uniroma3.it
Avviso:
Avviso:
La nuova edizione dell'a.a. 2025-2026 del corso di Teorie Logiche 1 si terrà nel secondo semestre a partire da Martedì 14 Aprile 2026 con il seguente orario delle lezioni: ogni Martedì e Giovedì dalle ore 17 alle ore 20 in Aula 6 a Lettere (Via Ostiense 236).
ProgrammA del corso
ProgrammA del corso
Dimostrazioni (Sequent Proofs)
Dimostrazioni (Sequent Proofs)
Deduzione Naturale (ND)
Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK)
L'eliminazione dei Tagli per LJ ed LK
Il calcolo dei sequenti della Logica Lineare (LL)
Il teorema di Eliminazione dei Tagli per LL
Il Teorema di Focalizzazione delle dimostrazioni di LL
Reti dimostrative (Proof Nets)
Reti dimostrative (Proof Nets)
(stutture dimostrative, correttezza, normalizzazione, adeguatezza, sequenzializzazione, focalizzazione, complessità)
Reti puramente moltiplicative
Reti moltplicative-additive
Reti moltiplicative-esponenziali
Semantica delle reti moltiplicative con MIX rule
Page updated
Google Sites
Report abuse