|
|||||
|
|
| 格值命题逻辑系统LP(X)中广义文字的α-归结域 | |
| 引用本文： | 王伟,姜保庆,徐扬.格值命题逻辑系统LP(X)中广义文字的α-归结域[J].西南交通大学学报,2005,40(4):544-547. |
| 作者姓名： | 王伟 姜保庆 徐扬 |
| 作者单位： | 1. 西南交通大学电气工程学院,四川,成都,610031;解放军外国语学院数学系,河南,洛阳,471003 2. 河南大学计算机与信息工程学院,河南,开封,475001 3. 西南交通大学电气工程学院,四川,成都,610031 |
| 基金项目： | 国家自然科学基金资助项目（60474022）;河南省自然科学计划项目（200510475028） |
| 摘 要： | 格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。 |
| 关 键 词： | 常量 命题变元 广义文字 α-归结域 |
| 文章编号： | 0258-2724（2005）04-0544-04 |
| 收稿时间： | 2004-06-02 |
| 修稿时间： | 2004-06-02 |
α-Resolution Fields of Generalized Literals of Logic LP(X) |
|
| WANG Wei,JIANG Bao-qing,XU Yang.α-Resolution Fields of Generalized Literals of Logic LP(X)[J].Journal of Southwest Jiaotong University,2005,40(4):544-547. | |
| Authors: | WANG Wei JIANG Bao-qing XU Yang |
| Institution: | 1. School of Electrical Eng., Southwest Jiaotong University, Chengdu 610031, China; 2. Dept. of Mathematics, PLA Foreign Language University, Luoyang 471003, China; 3. School of Computer and Information Eng. , Henan University, Kaifeng 475001, China |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |