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...

Full description

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
Description
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: