格值一阶逻辑系统LF(X)中带广义量词的α-归结原理 |
| |
作者姓名: | 周平 姜明 孙西芃 |
| |
作者单位: | 1. 四川师范大学,数学与软件科学学院,四川,成都,610066 2. 西南民族大学,电信学院,四川,成都,610041 3. 西南财经大学,数学系,四川,成都,610047 |
| |
基金项目: | 国家自然科学基金,教育部高等学校博士学科点专项科研基金 |
| |
摘 要: | 讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备.
|
关 键 词: | α-归结原理 广义量词 格值一阶逻辑系统LF(X) 格蕴涵代数 |
本文献已被 维普 万方数据 等数据库收录! |
|