La heterodoxia de las lógicas de da Costa
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 satis...
Sparad:
| I publikationen: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Huvudupphov: | |
| Materialtyp: | Artigo |
| Språk: | Espanhol |
| Utgiven: |
Escuela Regional de Matemáticas
2008
|
| Ämnen: | |
| Länkar: | https://www.redalyc.org/articulo.oa?id=46816105 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|