| The Syntax of Lattice-Valued Propositional Logic System lp（X） |
| |
| 引用本文： | 李华. The Syntax of Lattice-Valued Propositional Logic System lp（X）[J]. 东华大学学报(英文版), 2007, 24(2): 305-308 |
| |
| 作者姓名： | 李华 |
| |
| 作者单位： | Department of Computer ,Science, Hangzhou Poly Technique College, Hangzhou 310012, China |
| |
| 基金项目： | 国家自然科学基金 , The Project Fund of Zhejiang Science and Technology Department, China |
| |
| 摘 要： | 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.
|
| 关 键 词： | 网格 晶格 计算机语言 计算机技术 |
| 文章编号： | 1672-5220（2007）02-0305-04 |
| 修稿时间： | 2006-08-20 |
The Syntax of Lattice-Valued Propositional Logic System lp(X) |
| |
| LI Hua. The Syntax of Lattice-Valued Propositional Logic System lp(X)[J]. Journal of Donghua University, 2007, 24(2): 305-308 |
| |
| Authors: | LI Hua |
| |
| Affiliation: | Department of Computer Science, Hangzhou Poly Technique College, Hangzhou 310012, China |
| |
| Abstract: | 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. |
| |
| Keywords: | latticevalued logic lattice lattice implication algebra syntax |
| 本文献已被 维普 万方数据 等数据库收录！ |
