Foto del docente

Eugenio Orlandelli

Professore associato

Dipartimento delle Arti

Settore scientifico disciplinare: M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA

Collaborazioni

Collaborazione con:: Technische Universität Dresden
Paese:: Germania
Descrizione:: collaborazione con il dott. Tim Lyon su nested sequent calcuuli per logiche modali quantificate

Collaborazione con:: Universität of Tübingen
Paese:: Germania
Descrizione:: Collaborazione con il Dott. Eric Raidl su sistemi di dimostrazione per implicazioni super-strette

Collaborazione con:: Università degli Studi di PADOVA
Paese:: Italia
Descrizione:: Collaborazione con il Dott. Filippo Ferrari (Univ. di Padova e Univ. di Bonn) sul inferenzialismo e pluralismo logico.

Collaborazione con:: Università degli Studi di TORINO
Paese:: Italia
Descrizione:: Collaborazione con il dott. Paolo Maffezioli sul teorema di interpolazione in logiche non classiche.

Collaborazione con:: Università degli Studi di GENOVA
Paese:: Italia
Descrizione:: Coallaborazione con la Professoressa Sara Negri (università di Genova e University of Helsinki) su logica geometrica e su calcoli etichettati per logiche modali.

Collaborazione con:: Munich Center for Mathematical Philosophy
Paese:: Germania
Descrizione:: Collaborazione con il dott. Norbert Gratzl (MCMP, Ludwig-Maximilians Univeristaet Munich) su inferenzialismo e logicalità per operatori modali.