A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra1Work partially supported by DGES, Spain.1

In this paper, a polynomial model (residue class ring) for a given p-valued propositional Logic (p prime), is constructed. This will allow the study of logical deductions using Computer Algebra techniques (Gröbner Bases). Also, an interesting interpretation of ⊨ and Kleene's style → and their relation from the point of view of Algebraic Geometry (in terms of algebraic varieties) will be given. Only modest requirements about the good behaviour of the Logic will be assumed. This approach makes it possible to move a step forward and treat Knowledge Based Systems (KBSs) based on multi-valued Logics.