La heterodoxia de las lógicas de Da Costa

Por • 11 feb, 2019 • Sección: Crítica

Guillermo Ortiz

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.

Ortiz Rico, Guillermo La heterodoxia de las lógicas de da Costa Matemáticas: Enseñanza Universitaria, Vol. XVI, Núm. 1, junio-sin mes, 2008, pp. 37-50 Universidad del Valle Cali, Colombia

https://www.researchgate.net/publication/40542855_La_heterodoxia_de_las_logicas_de_Da_Costa

Post to Twitter

Escribe un comentario