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