Plus and Minus

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