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 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|