Árboles de forzamiento semántico
Fecha
2001
Autores
Sierra, Manuel
relationships.isAdvisorOf
Título de la revista
ISSN de la revista
0120-341X
Título del volumen
Editor
Universidad EAFIT
item.page.isbn
Resumen
Descripción
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.