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.
|Start Date: 01-01-2013|
|End Date: 01-12-2016|
|Team: Carlos Manuel Costa Lourenco Caleiro|
|Groups: Security and Quantum Information - Lx|
|Partners: Academic College of Tel-Aviv-Yafo, Israel, Fundação Getúlio Vargas, Brazil, Institute of Computer Science of the Polish Academy of Sciences, Poland, Institute of Mathematics Simion Stoilov, Romania, King's College London, United Kingdom, Kryvyi Rih National University, Ukraine, Pontifícia Universidade Católica do Rio de Janeiro, Brazil, Technische Universitaet Wien, Austria, Tel-Aviv University, Israel, Universidade de Aveiro, Portugal, Universidade Estadual de Campinas, Brazil, Universidade Federal do Rio de Janeiro, Brazil, Universidade Federal do Rio Grande do Norte, Brazil|
|Local Coordinator: Carlos Manuel Costa Lourenco Caleiro|