Sobre la interpretación del signo
EI signo Ͻ (0-- and gt;0 C) funciona en muchos sistemas lógicos de una manera tal que impide su interpretación, ya sea como "implicación estricta" o como "implicación material". Por ejemplo, en los sistemas de Heyting1,Johansson2 , Fitch3, Bernays4 (lógica positiva), lo siguient...
- Autores:
-
Myhill, Jhon
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1960
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43320
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43320
http://bdigital.unal.edu.co/33418/
- Palabra clave:
- Signo
fórmulas
conjunción
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | EI signo Ͻ (0-- and gt;0 C) funciona en muchos sistemas lógicos de una manera tal que impide su interpretación, ya sea como "implicación estricta" o como "implicación material". Por ejemplo, en los sistemas de Heyting1,Johansson2 , Fitch3, Bernays4 (lógica positiva), lo siguiente son teorema: |
|---|