Logo Università degli Studi di Milano



 
 

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 

Link correlati  

Torna ad inizio pagina