节点文献

命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 王国俊； 钱桂生； 党创寅；

【机构】 陕西师范大学数学研究所； 香港城市大学； 香港城市大学 西安710062西安交通大学基础科学研究中心； 西安710049； 香港； 香港；

【摘要】 引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.

【关键词】 度量R0-代数； R0-型Hibert方体； 度量R0-型Lindenbaum代数； 近似推理； 完备性定理；
【基金】 国家自然科学基金重点项目(批准号:10331010)
  • 【文献出处】 中国科学E辑:信息科学 ,Science in China,Ser.E , 编辑部邮箱 ,2004年10期
  • 【分类号】O141.1
  • 【被引频次】22
  • 【下载频次】228
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)