
02355872
j
2004a.00598
Roanes Lozano, E.
Laita, Luis M.
Roanes Mac\'\i{}as, E.
Effective calculations in boolean propositional logic interpreted as a residual ring over $\bbfZ_2$. (C\'alculos efectivos en l\'ogica proposicional booleana interpretada como un anillo de clases residuales (polinomial) sobre $\bbfZ_2$.)
Bol., Soc. ``Puig Adam'' Profr. Mat., No. 65, 1742 (2003).
2003
Sociedad ``Puig Adam" de Profesores de Matem\'aticas, Madrid
ES
H50
polynomial model for boolean logic
boolean ring
propositional boolean algebra
cocoa
ideals
filters
The duality between Boolean algebras and Boolean rings and the properties of lattice orderings are used in this article to detail how a polynomial model for Boolean logic can be constructed. This model exactly translates the ideals of Logic into the ideals of Algebra and enables to perform effective calculations in Logic and even in Rule Based Expert Systems using the implementations of "Gr\"obner bases" and "normal forms" provided by Computer Algebra Systems. Moreover, the approach can also be used to construct a model for modal multivalued logics (and Rule Based Expert Systems using these logics).