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