Foto del docente

Eugenio Orlandelli

Professore associato

Dipartimento delle Arti

Settore scientifico disciplinare: PHIL-02/A Logica e filosofia della scienza

Didattica

Ultime tesi seguite dal docente

Tesi di Laurea

  • Calcolo dei sequenti annidati per logiche modali
  • Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
  • Logica modale del prim'ordine: l'approccio possibilista ed attualista a confronto.
  • Super-strict implication and non-normal logics. Labelled sequent calculus for the logic of super-strict implication S1.
  • Un calcolo dei sequenti per le logiche rilevanti
  • Un calcolo di sequenti etichettato per la logica inquisitiva