An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
作者:
Jinzhao Wu,
Hongyan Tan,
Yongli Li,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1998)
卷期:
Volume 8,
issue 4
页码: 353-360
ISSN:1166-3081
年代: 1998
DOI:10.1080/11663081.1998.10510951
出版商: Taylor & Francis Group
关键词: propositional formulas;deduction problem;polynomials;algebraic varieties
数据来源: Taylor
摘要:
We show that there is a polynomial over the rational number field corresponding to each propositional formula in a given many-valued logic. To decide whether a propositional formula can be deduced from a finite set of such formulas (deduction problem), we only need to decide whether a polynomial vanishes on an algebraic variety. By using Wu's method, an algorithm for this problem is presented.
点击下载:
PDF (318KB)
返 回