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...
Na minha lista:
| Publicado no: | Matemáticas: Enseñanza Universitaria |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Escuela Regional de Matemáticas
2008
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=46816105 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|