Abstract
Este artículo consiste en una introducción a los elementos de un lenguaje formal natural y claro (que por primera vez vislumbró F. Sommers). Mediante un sencillo algoritmo basado en la suma algebraica, este lenguaje se convierte en una importante herramienta con la fuerza necesaria para desafiar la lógica de predicados estándar. [Traducción de Gabriela Montes de Oca Y.]
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have