Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°

Las reglas deductivas de eliminación y de inserción propuestas para los gráficos existenciales Alfa, de Peirce, son complejas para ser formalizadas en el Cálculo Proposicional Clásico. Las pruebas de validez de estas reglas en el Cálculo Proposicional Clásico requieren inducción pues dependen de la...

Full description

Autores:
Poveda Quiñones, Yuri Alexander
Tipo de recurso:
Article of journal
Fecha de publicación:
2000
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31684
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31684
http://bdigital.unal.edu.co/21763/
Palabra clave:
51 Matemáticas / Mathematics
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional