Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleA polynomial model for logics with a prime power number of truth values.
Author(s) Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano
TypeArticle in Journal
AbstractThis paper is concerned with a polynomial model (residue class ring) for a given q-valued propositional logic (where q is a power of a prime integer). This model allows to transfer logic problems into algebraic terms, resulting in an immediate computational approach to Knowledge Based Systems based on multi-valued logics. By means of this new approach, we have extended an already existent algebraic model to logics with a prime power number of truth values, while also getting more straightforward proofs and a more direct enunciation of the central theorem of this model.
KeywordsMultivalued logics, Groebner bases, Symbolic computing
ISSN0168-7433; 1573-0670/e
URL http://link.springer.com/article/10.1007%2Fs10817-010-9191-0
JournalJ. Autom. Reasoning
PublisherSpringer Netherlands, Dordrecht
Translation No
Refereed No