Informatica e diritto, IX Annata, Vol. IX, 1983, n. 2, pp. 327-341

Dora Sánchez García

Evaluación automática de fórmulas del sistema K1

El programa que presentamos aquí constituye una versión simplificada de un programa más amplio que incluye además de las rutinas que componen el que aquí exponemos, una rutina para la comprobación de si la fórmula que se pretende probar está bien formada o no (en esta versión más simple sólo se pueden introducir como datos fórmulas bien formadas), y otra rutina para la eliminación de negadores múltiples en caso de que los hubiera. Asimismo las subrutinas de funtores deónticos y de juntores diádicos están elaboradas en esta versión de forma a que estén lo más próximas posible a la intuición. Nos han parecido oportunas todas estas simplificaciones dado el carácter introductorio de las jornadas.