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
589
Total investigadores
589
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2010-01-01
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