RYC-2010-06319
Financiado
Negaciones submínimas definibles a partir de diferentes formas constructivas de...
Negaciones submínimas definibles a partir de diferentes formas constructivas de las leyes de doble negación, contraposición y reductio en las lógicas de la relevancia.
ver más
01/01/2010
ULE
192K€
Presupuesto del proyecto: 192K€
Líder del proyecto
UNIVERSIDAD DE LEON
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
590
Total investigadores
590
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2010-01-01
No tenemos la información de la convocatoria
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
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
Proyectos interesantes
RYC2021-032670-I
Algebraic study of quantifiers in substructural logics
236K€
Cerrado
FFI2017-82878-P
SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI...
15K€
Cerrado
FFI2017-84805-P
LOGIC AND SUBSTRUCTURALITY
29K€
Cerrado
FFI2008-05859
LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI...
23K€
Cerrado
MTM2016-74892-P
LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS
32K€
Cerrado
MTM2014-59178-P
LOGICA MATEMATICA
47K€
Cerrado