Cagliari unit’s main expertise is on substructural logics and residuated lattices. Within this project the main objective of this unit is a systematic inquiry of the latter algebraic structures and their links with functional programming. Also, the unit works on the foundation of quantum theory in the framework of a fuzzy treatment of reasoning.
Salerno unit’s main expertise are many-valued logics; in particular MV-algebras. Within this project the unit’s main objective is to investigate the intended and the formal semantics of many-valued logics and their applications to of probability theory over generalized events, economics and dynamical systems.