Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

Adams

Financiado

Cerrado

A Dual Approach to Many Valued Semantics

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 dy... ver más

31/07/2015

UvA

184K€

Presupuesto del proyecto: 184K€

Líder del proyecto

UNIVERSITEIT VAN AMSTERDAM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2015-07-31 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

UvA

0.00€ | Lider

Proyectos interesantes

MTM2011-26840

Applied Physics

Data Science

47K€ Cerrado

GENERALISE

Applied Physics

Data Science

1M€ Cerrado

PTASNCL

Applied Physics

Software

219K€ Cerrado

TopRepMVAlg

Applied Physics

Data Science

186K€ Cerrado

MTM2014-59178-P

Applied Physics

Data Science

47K€ Cerrado

SYSMICS

Applied Physics

Software

581K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

UNIVERSITEIT VAN AMSTERDAM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 184K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores