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

Cerrado

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 1150

Fecha límite participación Sin fecha límite de participación.

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

USAL

Lider

Proyectos interesantes

FFI2008-05859

Applied Physics

Software

23K€ Cerrado

FFI2014-53919-P

Applied Physics

Software

18K€ Cerrado

NTNSP

Applied Physics

Software

169K€ Cerrado

PID2020-116502GB-I00

Applied Physics

Software

32K€ Cerrado

TEAMDEP

Applied Physics

Software

2M€ Cerrado

SYSMICS

Applied Physics

Software

581K€ Cerrado

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

Líder del proyecto

UNIVERSIDAD DE SALAMANCA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1150

Presupuesto del proyecto 15K€

Fecha límite de participación Sin fecha límite de participación.

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