Árboles de forzamiento semántico

Autores/as

  • Manuel Sierra Universidad EAFIT

Palabras clave:

Cálculo de predicados, Cálculo proposicional

Resumen

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.

Descargas

Los datos de descarga aún no están disponibles.

Biografía del autor/a

  • Manuel Sierra, Universidad EAFIT
    Magister en matemáticas. Profesor, Departamento de Humanidades, Universidad EAFIT

Descargas

Publicado

2012-06-21

Número

Vol. 37 Núm. 123 (2001)

Sección

Artículos

Cómo citar

Sierra, M. (2012). Árboles de forzamiento semántico. Revista Descubre y Crea | Universidad EAFIT, 37(123), 53-72. https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/984

Artículos más leídos del mismo autor/a