Generalizing Truth-Functionality: GeTFun

Data inizio
1 gennaio 2013
Durata (mesi) 
48
Dipartimenti
Informatica
Responsabili (o referenti locali)
Vigano' Luca
Parole chiave
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.

Enti finanziatori:

Unione Europea
Finanziamento: assegnato e gestito dal Dipartimento
Programma: EUROPA - Progetti Europei

Partecipanti al progetto

Marco Volpe
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Logic
Pubblicazioni
Titolo Autori Anno
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; Vigano', Luca; Volpe, Marco 2013
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators Carlos, Caleiro; Vigano', Luca; Volpe, Marco 2013

Attività

Strutture

Condividi