Details:
Title | A polynomial model for logics with a prime power number of truth values. | Author(s) | Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano | Type | Article in Journal | Abstract | This 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. | Keywords | Multivalued logics, Groebner bases, Symbolic computing | ISSN | 0168-7433; 1573-0670/e |
URL |
http://link.springer.com/article/10.1007%2Fs10817-010-9191-0 |
Language | English | Journal | J. Autom. Reasoning | Volume | 46 | Number | 2 | Pages | 205--221 | Publisher | Springer Netherlands, Dordrecht | Year | 2011 | Edition | 0 | Translation |
No | Refereed |
No |
|