|
|||||
|
|
| LF(X)中带广义量词的弱完备性定理 | |
| 引用本文： | 周平,姜明,孙西芃.LF(X)中带广义量词的弱完备性定理[J].四川师范大学学报(自然科学版),2008,31(1):6-9. |
| 作者姓名： | 周平 姜明 孙西芃 |
| 作者单位： | 1. 四川师范大学,数学与软件科学学院,四川,成都,610066 2. 西南民族大学,电信学院,四川,成都,610041 3. 西南财经大学,数学系,四川,成都,610047 |
| 基金项目： | 国家自然科学基金 , 教育部高等学校博士学科点专项科研基金 |
| 摘 要： | 给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理. |
| 关 键 词： | 一阶格值逻辑系统LF(X) 广义量词 弱完备性定理 广义量词 完备性定理 Generalized Theorem Completion 结果 赋值 扩展 模糊集 格值逻辑系统 |
| 文章编号： | 1001-8395（2008）01-0006-04 |
| 收稿时间： | 2006-11-08 |
| 修稿时间： | 2006年11月8日 |
Weak Completion Theorem with Generalized Quantifier in LF(X) |
|
| ZHOU Ping,JIANG Ming,SUN Xi-peng.Weak Completion Theorem with Generalized Quantifier in LF(X)[J].Journal of Sichuan Normal University(Natural Science),2008,31(1):6-9. | |
| Authors: | ZHOU Ping JIANG Ming SUN Xi-peng |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |