Árboles de forzamiento semántico
En este trabajo se presenta por primera vez el sistema de reglas de inferencia gráficas, árboles de forzamiento semántico, el cual proporciona de manera natural un método efectivo de decisión para el cálculo proposicional clásico y para el cálculo clásico de predicados monádicos de primer orden....
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2001
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/17288
- Acceso en línea:
- http://hdl.handle.net/10784/17288
- Palabra clave:
- Cálculo de predicados
Cálculo proposicional
- Rights
- License
- Copyright © 2001 Manuel Sierra