Didattica

Insegnamenti

2026 - 2027

• LOGICA MATEMATICA (cod. 90705)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• MATEMATICHE ELEMENTARI DA UN PUNTO DI VISTA SUPERIORE (cod. 42925)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA
• TEORIA DELLA DIMOSTRAZIONE (cod. 107014)
  CORSO DI LAUREA MAGISTRALE - MATEMATICA

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

Ricerca

Pubblicazioni IRIS

• MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS
  Anno: 2025
• Proof Theory for Extended Belnap–Dunn and Intuitionistic Logics
  Anno: 2025
• Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics
  Anno: 2025
• A Unified Gentzen-style Framework for Until-free LTL
  Anno: 2024
• A proof-theoretic approach to formal epistemology
  Anno: 2024

Lista completa pubblicazioni IRIS