Procedimientos decisorios para fórmulas monádicas de primer grado

Abstract

Busca un procedimiento decisorio para fórmulas monádicas de primer grado de fácil aplicación, por lo menos en el nivel de expresiones de módica pero no desdeñable complejidad, y de tal naturaleza que aparezca como inevitable continuación de las técnicas y objetivos propios de la lógica proposicional, sin cambios de orientación y con un mínimo de agregados.