An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

Eduardo Zurek, Mayra Zurbaran, Margarita Gamarra, Pedro Wightman


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.


Algebraic logic; propositional logic; resolution-refutation; tableau

Full Text: PDF


  • There are currently no refbacks.