Il gruppo si occupa di ricerche nell'ambito della teoria della dimostrazione e della teoria dei modelli di logiche non classiche.
Gli argomenti studiati sono i seguenti:
- Aspetti proof-teoretici e semantici delle logiche non classiche, orientati all'applicazioni nell'ambito del ragionamento automatico basato sia su calcoli diretti (sequenti, deduzione naturale) sia su calcoli di refutazione (tableaux) per l'estrazione di contromodelli.
- Applicazione delle logiche non classiche alla rappresentazione della conoscenza, e alla specifica, alla sintesi e alla verifica del software.
- Studio di logiche non classiche attraverso le strutture algebriche ad esse associate.
- Dualità categoriali tra semantiche algebriche e strutture combinatorie ordinate.
- Probabilità di eventi descritti in logiche non classiche.
Collaboriamo con: Università degli Studi di Milano, Conicet (Argentina), Università degli Studi di Salerno, IIIA – CSIC (Spagna)
Periodo di attività:
(gennaio 1, 2020 - )