Resumen

ZUREK, Eduardo; ZURBARAN, Mayra; GAMARRA, Margarita  y  WIGHTMAN, Pedro. An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra. Polibits [online]. 2015, n.52, pp.79-84. ISSN 1870-9044.  https://doi.org/10.17562/PB-52-8.

This paper presents a methodology for evaluating propositional logic satisfiability using resolution-refutation. The method applies a strategy based on an algebra developed by the authors that estimates the possible outcomes of the expression and generates a logic value for refuting or accepting the satisfiability of the argument.

Palabras llave : Algebraic logic; propositional logic; resolution-refutation; tableau.

        · texto en Inglés     · Inglés ( pdf )