Sara Negri
-
Professore ordinario
-
Dipartimento di matematica - DIMA
-
Dipartimento di matematica - DIMA
MATH-01/A - Logica matematica
Didattica
Insegnamenti
2025 - 2026
-
ISTITUZIONI DI MATEMATICHE (cod. 52344)
CORSO DI LAUREA - SCIENZE BIOLOGICHE -
LOGICA MATEMATICA (cod. 90705)
CORSO DI LAUREA MAGISTRALE - MATEMATICA -
MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE (cod. 42925)
CORSO DI LAUREA MAGISTRALE - MATEMATICA
2024 - 2025
-
ELEMENTI DI MATEMATICA (cod. 72565)
CORSO DI LAUREA - SCIENZA DEI MATERIALI -
LOGICA MATEMATICA (cod. 90705)
CORSO DI LAUREA MAGISTRALE - MATEMATICA -
TEORIA DELLA DIMOSTRAZIONE (cod. 107014)
CORSO DI LAUREA MAGISTRALE - MATEMATICA
Ricerca
Pubblicazioni IRIS
-
MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS
Anno: 2025 -
Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics
Anno: 2025 -
A proof-theoretic approach to formal epistemology
Anno: 2024 -
A Unified Gentzen-style Framework for Until-free LTL
Anno: 2024 -
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
Anno: 2024

- sara.negri@unige.it
Ricevimento
Su appuntamento (e-mail: sara.negri@unige.it)