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

Eugenio Roanes-Lozano, Luis M. Laita and Eugenio Roanes-Macı́as

Mathematics and Computers in Simulation (MATCOM), 1998, vol. 45, issue 1, 83-99

Abstract: 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.

Date: 1998
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475497000888
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:45:y:1998:i:1:p:83-99

DOI: 10.1016/S0378-4754(97)00088-8

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().