| 谓词形式系统ULh^--∈[0.75,1]及其可靠性 |
| 马盈仓[1,2] 何华灿[3] |
| 关键词：泛逻辑 谓词演算形式系统 泛与运算 |
| 主要内容：对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。 |
| 《计算机科学》 2011,38(5).-178-180,223 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号