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

Full description

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