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...
محفوظ في:
| الحاوية / القاعدة: | Matemáticas: Enseñanza Universitaria |
|---|---|
| المؤلف الرئيسي: | |
| التنسيق: | Artigo |
| اللغة: | Espanhol |
| منشور في: |
Escuela Regional de Matemáticas
2008
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.redalyc.org/articulo.oa?id=46816105 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|