FFI2008-05859
Financiado
LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSISTENCIA EN LA SEMANT...
LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSISTENCIA EN LA SEMANTICA RELACIONAL TERNARIA CON UN CONJUNTO DE PUNTOS DESIGNADOS
SEA S UNA LOGICA Y T UNA TEORIA CONSTRUIDA SOBRE S, CONSIDERAMOS CUATRO CONCEPTOS DE CONSISTENCIA, UNA TEORIA T ES W1-INCONSISTENTE SYSS ¬A PERTENECE A T, SIENDO A UN TEOREMA DE S; T ES W2-INCONSISTENTE SYSS A PERTENCE A T, SIENDO...
ver más
01/01/2008
USAL
23K€
Presupuesto del proyecto: 23K€
Líder del proyecto
UNIVERSIDAD DE SALAMANCA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
1149
Total investigadores
1149
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2008-01-01
No tenemos la información de la convocatoria
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
FFI2017-82878-P
SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI...
15K€
Cerrado
MTM2011-26840
TEORIA DE MODELOS Y APLICACIONES
47K€
Cerrado
MTM2011-25747
LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS
72K€
Cerrado
PID2019-110843GA-I00
LA GEOMETRIA DE LAS LOGICAS NO-CLASICAS
25K€
Cerrado
IJC2020-043421-I
Non-classical logics and formal semantics
98K€
Cerrado
FFI2014-53919-P
SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARI...
18K€
Cerrado