Lógicas de términos

Ponente(s): J.-martín Castro Manzano

En esta plática tratamos de mostrar que las lógicas de términos de impronta tradicional pueden ser útiles para el pensamiento matemático y computacional. Para lograr este objetivo, argumentamos a favor de dos afirmaciones: (i) que la lógica de términos tradicional no es una lógica clásica y (ii) que la programación lógica que resulta de la lógica tradicional no es programación lógica clásica. Una vez justificadas estas afirmaciones, presentamos una familia de lógicas de términos que cubren diferentes aspectos inferenciales del lenguaje natural.