The Syntax of Lattice-Valued Propositional Logic System lp(X)
- ISSN号:1002-8331
- 期刊名称:《计算机工程与应用》
- 时间:0
- 分类:TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
- 作者机构:[1]Department of Computer ,Science, Hangzhou Poly Technique College, Hangzhou 310012, China
- 相关基金:Foundation item: The National Science Fund of China (No. 60074014, 60474022); The Project Fund of Zhejiang Science and Technology Department, China (No. 2005C31005)
中文摘要:
珍视格子的逻辑在多珍视的逻辑系统起一个重要作用。一个格子珍视逻辑系统 lp (X) 被构造。lp (X) 的句法被讨论。它可能在估价领域是有限格子含意代数学的情况中特别在申请和学习是更方便的。
英文摘要:
Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp (X) is constructed. The syntax of lp(X) is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.