Logica Matematica
Gli afferenti al gruppo svolgono attività di ricerca nel campo del model checking, dei problemi di soddisfacibilità modulo teorie, della logica algebrica, della logica polivalente, delle strutture algebriche ordinate, della logica categoriale, dei fondamenti della matematica, e delle applicazioni della teoria delle categorie all'informatica.
Parole chiave
Logica matematica, logica polivalente. model checking, SAT, strutture algebriche parzialmente ordinate, teoria delle categorie, semantica dei linguaggi di programmazione
Pubblicazioni
A. Bucalo and G. Rosolini. Completions, comonoids, and topological spaces. Annals of Pure and Applied Logic, vol. 137, 2006, pp. 104–125.
S. Ghilardi and S. Ranise. Backward Reachability of Array-based Systems by SMT Solving: Termination and Invariant Synthesis. Logical Methods in Computer Science, vol. 6, n. 4, 2010, 39 pp.
F. Baader, S. Ghilardi, and C. Lutz. LTL over Description Logic Axioms. ACM Transactions on Computational Logic, 37 pp., in stampa (2012).
V. Marra. Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II. Transactions of the American Mathematical Society, 23 pp., in stampa (2012).
V. Marra and L. Spada, Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, 19 pp., in stampa (2012).
Progetti Finanziati legati alle tematiche di ricerca
PRIN2008: Logica e algebra dell'informazione incerta. (Responsabile dell'unità di Milano: V. Marra.)
PRIN2010: Metodi logici per il trattamento dell'informazione. (Responsabile dell'unità di Milano: S. Ghilardi.)
FIRB2010 Futuro in ricerca: Teoria delle probabilità degli eventi non classici. (PI: V. Marra)
Settori scientifici di riferimento
MAT/01 : Logica Matematica
MAT/02 : Algebra
INF/01 : Informatica
Componenti
Personale afferente al Dipartimento di Matematica | ||
---|---|---|
Anna BUCALO | info | |
Silvio GHILARDI | info | |
Vincenzo MARRA | info | |
Giancarlo MELONI | info | |
Matteo BIANCHI | assegnista fino ad aprile 2013 | info |
Maurice CHIODO | assegnista fino a settembre 2013 | info |
Andrea PEDRINI | assegnista fino a gennaio 2015 |