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

Producción científica: Contribución a revista › Artículo de Investigación › revisión exhaustiva

Resumen

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.

Idioma original	Indefinido/desconocido
Publicación	Polibits
Estado	Publicada - 2015

ODS de las Naciones Unidas

Este resultado contribuye a los siguientes Objetivos de Desarrollo Sostenible

ODS 12: Producción y consumo responsables

Áreas temáticas de ASJC Scopus

General

Otros archivos y enlaces

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

Citar esto

@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 -