Generalizing Truth-Functionality: GeTFun

Starting date
January 1, 2013
Duration (months)
48
Departments
Computer Science
Managers or local contacts
Vigano' Luca
Keyword
Logic, truth-functionality, modelling, compositionality

The scientific guideline of the GeTFun project is to study and relate various well-motivated ways in which the attractive properties and meta-properties of truth-functionality may be generalized to cover more extensive logical grounds. Besides the abstract, model- and proof-theoretical aspects, the project will keep a strong focus in meaningful application areas where the complexity of the phenomena involved goes beyond the scope of standard approaches. The impact and relevance of the proposed line of work should accordingly be measured directly by its foundational character with respect to a better and deeper understanding of meaning in logics modeling complex phenomena and, of necessity, suitable general forms of compositional reasoning.

Sponsors:

Unione Europea
Funds: assigned and managed by the department
Syllabus: EUROPA - Progetti Europei

Project participants

Luca Vigano'
Research Assistants
Marco Volpe
Research areas involved in the project
Informatica teorica
Logic
Publications
Title Authors Year
Quantum State Transformations and Branching Distributed Temporal Logic Vigano', Luca; Volpe, Marco; Zorzi, Margherita 2014
A labeled deduction system for the logic UB C. Caleiro; L. Vigano; M. Volpe 2013
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators Carlos Caleiro; Luca Vigano'; Marco Volpe 2013

Activities

Research facilities