Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Applications of Gro¨bner bases in non-linear computational geometry
Mathematical aspects of scientific software
Multi-valued logic and Gröner bases with applications to modal logic
Journal of Symbolic Computation
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Polynomial Algorithms in Computer Algebra
Polynomial Algorithms in Computer Algebra
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Expert Systems with Applications: An International Journal
An equational approach to theorem proving in first-order predicate calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
A logic-algebraic approach to decision taking in a railway interlocking system
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
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.