Objetivo
Mathematical logic plays a crucial role in the 21st century society, indeed, in an era where information has become a key aspect of our lives, it provides a powerful mathematical framework for the study of the structure and the dynamics of information. A particularly interesting aspect of mathematical logic is that it allows to take in account uncertainty, vagueness or subjectivity, yet in the rigorous setting proper to mathematics.
Drawn from the applications, disciplines like many-valued logic, modal logic, reasoning under uncertainty, etc. have quickly developed a weaponry of sophisticated investigation tools that enabled the disclosure of a number of substantial facts about their expressiveness, functionality and scope. Nonetheless the investigations in these topics are far from being concluded, rather they are ready to be shifted to another level which could take into account inter-relations between those topics and offer an exchange of knowledge and methodology among their practitioners.
This project fits into this tendency shift, proposing an investigation of new semantics for many-valued logic with tools traditionally developed in modal and intuitionistic logic. Indeed, while the algebraic approach has enabled a fine comprehension of many-valued logic, leading in few years to a very reasonable framework of study, the time is mature for seeking new interpretations and concrete representations of these logical systems. As recent results put in evidence, the instruments developed in fifty years of studies on modal and intuitionistic logic, ranging from dualities to correspondence theory, are certainly the most qualified to help addressing this issues.
The applicant has a strong background in many-valued logic and has already shown independency and vocation to research. The host institution, widely considered a pivotal research centre in modal and intuitionistic logic, is probably the best place in Europe to carry out such a research.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
FP7-PEOPLE-2011-IEF
Consulte otros proyectos de esta convocatoria
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
1012WX Amsterdam
Países Bajos
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.