Árboles de forzamiento semántico

Fecha

2001

Título de la revista

ISSN de la revista

Título del volumen

Editor

Universidad EAFIT

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.

Palabras clave

Citación