|
|||||
|
|
| LF(X)中带广义量词的可靠性定理 | |
| 引用本文： | 周平,姜明,徐扬.LF(X)中带广义量词的可靠性定理[J].模糊系统与数学,2008,22(2):31-35. |
| 作者姓名： | 周平 姜明 徐扬 |
| 作者单位： | 1. 西南交通大学,数学系,四川,成都,610031;四川师范大学,数学与软件科学学院,四川,成都,610066 2. 西南民族大学,电信学院,四川,成都,610041 3. 西南交通大学,数学系,四川,成都,610031 |
| 摘 要： | 讨论一阶格值逻辑系统LF（X）中带广义量词的语法推理，同时证明了LF（X）中带广义量词的可靠性定理，作为应用我们对带广义量词的一些推理规则作了语法的证明。 |
| 关 键 词： | 一阶格值逻辑系统LF（X） 广义量词 可靠性定理 |
| 文章编号： | 1001-7402(2008)02-0031-05 |
| 修稿时间： | 2006年9月27日 |
Soundness Theorem with Generalized Quantifier in LF(X) |
|
| ZHOU Ping,JIANG Ming,XU Yang.Soundness Theorem with Generalized Quantifier in LF(X)[J].Fuzzy Systems and Mathematics,2008,22(2):31-35. | |
| Authors: | ZHOU Ping JIANG Ming XU Yang |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |