No label defined (Q3138548)
Jump to navigation
Jump to search
Project 0.37818969888779486 in Spain
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
Project 0.37818969888779486 in Spain |
Statements
9,075.0 Euro
0 references
18,150.0 Euro
0 references
50.0 percent
0 references
1 January 2015
0 references
31 December 2017
0 references
UNIVERSIDAD DE SALAMANCA.
0 references
37274
0 references
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._x000D_ _x000D_ 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")._x000D_ _x000D_ 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. (Spanish)
0 references
Salamanca
0 references
Identifiers
FFI2014-53919-P
0 references