The members of the group pursue research in model checking, satisfiability modulo theories, algebraic logic, many-valued logic, ordered algebraic structures, foundations of mathematics, categorical logic, and applications of category theory to computer science.

Keywords

Mathematical logic, many-valued logic, model checking, SAT modulo theories, ordered algebraic structures, category theory, semantics of programming languages

Pubblications

 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).

Funded Projects related to the Research Theme

PRIN2008: Logic and algebra of uncertain information. (Head of the unit in Milan: V. Marra.)

PRIN2010: Logical methods for the management of information. (Head of the unit in Milan: S. Ghilardi.)

FIRB2010 Futuro in ricerca: Probability theory of non-classical events. (PI: V. Marra)

Components

Members from the Department of Mathematics
Anna Bucalo		info
Silvio Ghilardi		info
Vincenzo Marra		info
Giancarlo Meloni		info
Matteo Bianchi	postdoc till April 2013	info
Maurice Chiodo	postdoc till September 2013	info
Andrea Pedrini	postdoc till January 2015