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...
Kaydedildi:
| Yayımlandı: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Yazar: | |
| Materyal Türü: | Artigo |
| Dil: | Espanhol |
| Baskı/Yayın Bilgisi: |
Escuela Regional de Matemáticas
2008
|
| Konular: | |
| Online Erişim: | https://www.redalyc.org/articulo.oa?id=46816105 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|