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

FFI2014-53919-P

Financiado

SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER...

SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA LAS EXPANSIONES IMPLICATIVAS NATURALES DE LA MATRIZ FUERTE TRIVALUADA DE KLEENE SEA MK3 LA MATRIZ FUERTE TRIVALUADA DE KLEENE (TANTO CON UN SOLO VALOR DESIGNADO COMO CON DOS), UNA EXPANSION IMPLICATIVA DE MK3, EMK3, ES NATURAL SI LA FUNCION QUE DEFINE EL CONDICIONAL TIENE LAS SIGUIENTES PROPIEDADES: (1) SATIS... ver más

01/01/2014

USAL

18K€

Presupuesto del proyecto: 18K€

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

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

Participantes

USAL

Lider

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

FFI2008-05859 LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI... 23K€ Cerrado

IJC2020-043421-I Non-classical logics and formal semantics 98K€ Cerrado

FFI2017-82554-P TRADUCCIONES, LOGICAS COMBINADAS, DESCRIPCIONES, LOGICA INTE... 17K€ Cerrado

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

Presupuesto del proyecto 18K€

Descripción del proyecto SEA MK3 LA MATRIZ FUERTE TRIVALUADA DE KLEENE (TANTO CON UN SOLO VALOR DESIGNADO COMO CON DOS), UNA EXPANSION IMPLICATIVA DE MK3, EMK3, ES NATURAL SI LA FUNCION QUE DEFINE EL CONDICIONAL TIENE LAS SIGUIENTES PROPIEDADES: (1) SATISFACE EL MODUS PONENS; (2) ASIGNA AL CONDICIONAL UN VALOR DESIGNADO SI ASIGNA AL ANTECEDENTE UN VALOR MENOR O IGUAL AL CONSECUENTE; (3) COINCIDE CON (LA FUNCION QUE DEFINE) EL CONDICIONAL CLASICO CUANDO SE RESTRINGE A LOS VALORES CLASICOS, LA SEMANTICA BIVALENTE TIPO DUNN ES LA ORIGINALMENTE DEFINIDA POR DICHO AUTOR PARA INTERPRETAR LA LOGICA "FIRST DEGREE ENTAILMENT LOGIC" DE ANDERSON Y BELNAP, Y LA SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER ES LA INTRODUCIDA POR ESTOS AUTORES PARA MODELIZAR LAS LOGICAS DE LA RELEVANCIA,CONSIDERAREMOS LAS SIGUIENTES LOGICAS DEFINIBLES A PARTIR DE CADA EM3: (1) EL CONJUNTO DE TODAS LAS FORMULAS VALIDAS; (2) LA LOGICA DETERMINADA POR LA RELACION PRESERVADORA DE LA VERDAD ("TRUTH-PRESERVING RELATION"); (3) LA LOGICA DETERMINADA POR LA RELACION PRESERVADORA DEL GRADO DE VERDAD ("DEGREE OF TRUTH-PRESERVING RELATION"),EL PROPOSITO DE LA PRESENTE PROPUESTA ES DOBLE: (A) DEFINIR UNA SEMANTICA BIVALENTE TIPO DUNN PARA TODAS LAS LOGICAS DESCRITAS MAS ARRIBA (EN (1), (2) Y (3)); (B) DEFINIR UNA SEMANTICA TIPO ROUTLEY-MEYER PARA TODAS LAS LOGICAS DESCRITAS MAS ARRIBA (EN (1), (2) Y (3)) QUE INCLUYAN LA LOGICA POSITIVA BASICA B+ DE ROUTLEY Y MEYER, MATRIZ TRIVALUADA DE KLEENE\SEMÁNTICA DUNN BIVALENTE\SEMÁNTICA ROUTLEY-MEYER\EXPANSIÓN IMPLICATIVA NATURAL MATRICIAL

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores