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

FFI2017-82878-P

Financiado

SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACIONES CUASI-BOOLEANAS

EL CAPITULO 4 DE "RELEVANT LOGICS AND THEIR RIVALS" (ROUTLEY, MEYER, PLUMWOOD Y BRADY, RIDGEVIEW, 1982) CONSISTE EN UNA INVESTIGACION DE LAS NEGACIONES DE MORGAN (NEGACIONES-DM) EN LA SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEY... ver más

01/01/2017

USAL

15K€

Presupuesto del proyecto: 15K€

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 2017-01-01 No tenemos la información de la convocatoria

0% 100%

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

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

FFI2014-53919-P SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARI... 18K€ Cerrado

MTM2011-26840 TEORIA DE MODELOS Y APLICACIONES 47K€ Cerrado

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

MTM2011-25747 LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 72K€ Cerrado

IJC2020-043421-I Non-classical logics and formal semantics 98K€ 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 15K€

Descripción del proyecto EL CAPITULO 4 DE "RELEVANT LOGICS AND THEIR RIVALS" (ROUTLEY, MEYER, PLUMWOOD Y BRADY, RIDGEVIEW, 1982) CONSISTE EN UNA INVESTIGACION DE LAS NEGACIONES DE MORGAN (NEGACIONES-DM) EN LA SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER (SEMANTICA RM), "ROUTLEY-MEYER TERNARY RELATIONAL SEMANTICS FOR INTUITIONISTIC-TYPE NEGATION" (ROBLES Y MENDEZ, ELSEVIER, 01/01/2018) ES UNA INVESTIGACION SOBRE LAS NEGACIONES DE TIPO INTUICIONISTA EN LA SEMANTICA RM, EL PROPOSITO DE LA PRESENTE PROPUESTA ES LLEVAR A CABO UNA INVESTIGACION SIMILAR A LA REALIZADA EN LAS DOS OBRAS CITADAS AHORA DESDE LA PERSPECTIVA DE LAS NEGACIONES CUASI-BOOLEANAS (NEGACIONES-QB), CONSIDERENSE LOS SIGUIENTES AXIOMAS Y REGLA: A1 (~A&~B)->~(AVB); A2 ~(A&B)->(~AV~B); A3 A->~~A; A4 ~~A->A; A5 (A->B)->(~B->~A); A6 (A&~A)->B; A7 B->(AV~A); A8 AV~A; R1 A-> B=>~B->~A, DEFINIMOS AHORA LAS NEGACIONES-QB QUE VAN A SER INVESTIGADAS, DESPUES DETALLAMOS EL PROPOSITO DE NUESTRA PROPUESTA,CONSIDERAMOS DOS TIPOS FUNDAMENTALES DE NEGACIONES-QB: NEGACIONES-QBH Y NEGACIONES-QBDH, LAS PRIMERAS SON DE NATURALEZA PARA-INTUICIONISTA; LAS SEGUNDAS, DE CARACTER INTUICIONISTA DUAL (H HACE REFERENCIA A HEYTING), INVESTIGAREMOS SEIS VARIEDADES DEL PRIMER TIPO DE NEGACIONES-QB Y TRES DEL SEGUNDO TIPO, NEGACIONES-QB QUE PUEDEN DEFINIRSE COMO SIGUE,SEA S UNA LOGICA DOTADA CON UNA SEMANTICA RM, LAS NEGACIONES-QB PUEDEN INTRODUCIRSE EN S AÑADIENDO ALGUNOS DE LOS AXIOMAS Y LA REGLA ANOTADOS MAS ARRIBA, ENTONCES, SE PROPORCIONA UNA SEMANTICA RM PARA CADA UNA DE LAS EXTENSIONES (O EXPANSIONES, SEGUN EL CASO) DEFINIDAS COMO SE HA INDICADO, LAS VARIEDADES A LAS QUE SE HA HECHO REFERENCIA ANTERIORMENTE SON LAS SIGUIENTES,NEGACIONES-QBH: "NEGACION-QBH MINIMA" (NEGACION-QBHM): A1, A2, A6 Y R1; "NEGACION-QBH BASICA" (NEGACION-QBHB): A1, A2, A3, A6 Y R1; "NEGACION-QBH FUERTE" (NEGACION-QBHS): A1, A2, A3, A5 Y A6 (R1 ES DERIVABLE), OBTENDREMOS UNA VERSION FUERTE DE CADA UNA DE LAS VARIEDADES QUE ACABAMOS DE DEFINIR AÑADIENDO A8 A CADA UNA DE ELLAS, ASI, TENDREMOS UNA NEGACION-SQBHM, UNA NEGACION-SQBHB Y UNA NEGACION-SQBHS,NEGACIONES-QBDH: "NEGACION-QBDH MINIMA" (NEGACION-QBDHM): A1, A2, A7 Y R1; "NEGACION-QBDH BASICA" (NEGACION-QBDHB): A1, A2, A4, A7 Y R1; "NEGACION-QBDH FUERTE" (NEGACION-QBDHS): A1, A2, A4, A5 Y A7 (R1 ES DERIVABLE),LAS METAS DE LA PRESENTE PROPUESTA SON: (1) PROPORCIONAR UNA SEMANTICA RM PARA LAS NUEVE VARIEDADES DE NEGACIONES-QB DEFINIDAS MAS ARRIBA, DAREMOS DOS INTERPRETACIONES ALTERNATIVAS DE LA NEGACION, LA PRIMERA CONSISTE EN LA UTILIZACION DEL OPERADOR ROUTLEY, EL EXPENDIENTE HABITUALMENTE UTILIZADO PARA INTERPRETAR LA NEGACION EN LA SEMANTICA RM, LA SEGUNDA SE BASA EN LA INTRODUCCION DE LA NEGACION MEDIANTE UNA CONSTANTE DE FALSEDAD, (2) INVESTIGAR LAS RELACIONES QUE MANTIENEN ENTRE SI LAS NEGACIONES-QBH, LAS NEGACIONES-QBDH Y LAS NEGACIONES-DM EN EL CONTEXTO DE LA SEMANTICA RM, SEMÁNTICA RELACIONAL TERNARIA TIPO ROUTL\NEGACIÓN BOOLEANA\NEGACIÓN CUASI-BOOLEANA\LÓGICAS SUBESTRUCTURALES

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores