An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

Eduardo Zurek; Mayra Zurbaran; Margarita Gamarra; Pedro Wightman

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

Eduardo Zurek
, Mayra Zurbaran
, Margarita Gamarra
, Pedro Wightman

Research output: Contribution to Journal › Research Article › peer-review

Abstract

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.

Original language	Undefined/Unknown
Journal	Polibits
State	Published - 2015

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 12 Responsible Consumption and Production

All Science Journal Classification (ASJC) codes

General

Cite this

@article{ca2f0a9ce5be423996da116d39f0d122,

title = "An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra",

abstract = "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.",

author = "Eduardo Zurek and Mayra Zurbaran and Margarita Gamarra and Pedro Wightman",

year = "2015",

language = "Indefinido/desconocido",

}

TY - JOUR

T1 - An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

AU - Zurek, Eduardo

AU - Zurbaran, Mayra

AU - Gamarra, Margarita

AU - Wightman, Pedro

PY - 2015

Y1 - 2015

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

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

UR - http://www.redalyc.org/articulo.oa?id=402643625009

M3 - Artículo de Investigación

JO - Polibits

JF - Polibits

ER -

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

Abstract

UN SDGs

All Science Journal Classification (ASJC) codes

Other files and links

Cite this