La heterodoxia de las lógicas de da Costa

Fuente: Redalyc
Guardado en:
Detalles Bibliográficos
Autor principal: Guillermo Ortiz Rico
Formato: Artículo científico
Lenguaje:es
Publicado: Escuela Regional de Matemáticas 2008
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1876458482640617472
author Guillermo Ortiz Rico
author_facet Guillermo Ortiz Rico
contents La heterodoxia de las lógicas de da Costa Guillermo Ortiz Rico Física, Astronomía y Matemáticas no auto heterodoxia extensional Paraconsistencia teorema de reemplazo A partir de Sylvan [1990] y Urbas [1996] demostramos la heterodoxia de las lógicas de da Costa. Probamos que estas lógicas no satisfacen el teorema de sustitución. Más aún, probamos que no existen extensiones más débiles que la lógica clásica y más fuerte que las lógicas de da Costa las cuales satisfagan el teorema de sustitución. 2008 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46816105 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num.1 Vol.XVI
format Artículo científico
id redalyc_46816105
institution Redalyc
language es
publishDate 2008
publisher Escuela Regional de Matemáticas
spellingShingle La heterodoxia de las lógicas de da Costa
Guillermo Ortiz Rico
Física, Astronomía y Matemáticas
no auto
heterodoxia
extensional
Paraconsistencia
teorema de reemplazo
La heterodoxia de las lógicas de da Costa Guillermo Ortiz Rico Física, Astronomía y Matemáticas no auto heterodoxia extensional Paraconsistencia teorema de reemplazo A partir de Sylvan [1990] y Urbas [1996] demostramos la heterodoxia de las lógicas de da Costa. Probamos que estas lógicas no satisfacen el teorema de sustitución. Más aún, probamos que no existen extensiones más débiles que la lógica clásica y más fuerte que las lógicas de da Costa las cuales satisfagan el teorema de sustitución. 2008 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46816105 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num.1 Vol.XVI
title La heterodoxia de las lógicas de da Costa
topic Física, Astronomía y Matemáticas
no auto
heterodoxia
extensional
Paraconsistencia
teorema de reemplazo
url https://www.redalyc.org/articulo.oa?id=46816105