| 判定多值逻辑推导问题的代数方法 |
| |
| 引用本文： | 谭红艳,李永礼.判定多值逻辑推导问题的代数方法[J].兰州大学学报(自然科学版),1995,31(2):72-77. |
| |
| 作者姓名： | 谭红艳 李永礼 |
| |
| 作者单位： | 兰州大学计算机科学系 |
| |
| 摘 要： | 本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。
|
| 关 键 词： | 多值逻辑 多项式 代数簇 命题公式 推导问题 |
An Algebraic Method to Decide the Deduction Problem in Multi-Valued Logic |
| |
| Tan Hongyan, Li Yongli, Xie Fuding.An Algebraic Method to Decide the Deduction Problem in Multi-Valued Logic[J].Journal of Lanzhou University(Natural Science),1995,31(2):72-77. |
| |
| Authors: | Tan Hongyan Li Yongli Xie Fuding |
| |
| Abstract: | We show that there is a polynomial over the rational number field Q corresponding to a given porpositional formula in a given many-valued logic. Then, to decide whether a propositional formula can be deduced from a finite set of such formulas (deduction problem),we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set. By decomposing this algebraic variety . an algorithm to decide this problem is given. |
| |
| Keywords: | propositional formulas deduction problem polynomials algebraic varieties |
| 本文献已被 CNKI 维普 等数据库收录！ |
