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

摘要：

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

关键词：度量Ro-代数、R0-型Hilbert方体、度量Ro-型Lindenbaum代数、近似推理、完备性定理

所属期刊栏目：34

分类号：O1(数学)

资助基金：国家自然科学基金10331010

在线出版日期：2004-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：1110-1122