Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

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 1146

Ver Participantes

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2014-01-01

0% 100%

Participantes

USAL

Lider

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

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE SALAMANCA

Total investigadores 1146

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores