Details:
Title  A polynomial model for logics with a prime power number of truth values.  Author(s)  Antonio Hernando, Luis M. Laita, Eugenio RoanesLozano  Type  Article in Journal  Abstract  This paper is concerned with a polynomial model (residue class ring) for a given qvalued 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 multivalued 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.  Keywords  Multivalued logics, Groebner bases, Symbolic computing  ISSN  01687433; 15730670/e 
URL 
http://link.springer.com/article/10.1007%2Fs1081701091910 
Language  English  Journal  J. Autom. Reasoning  Volume  46  Number  2  Pages  205221  Publisher  Springer Netherlands, Dordrecht  Year  2011  Edition  0  Translation 
No  Refereed 
No 
