王国军;钦，K.S。;Dang，C.Y。 一种适用于命题演算系统（mathcal L^\ast）和谓词演算系统的统一近似推理理论。 （英语） Zbl 1182.03057号 科学。中国，Ser。F类 48，第1期，第1-14页（2005）. 摘要：介绍了度量代数和（R0）型希尔伯特立方体的概念。在语义和语法上建立了命题演算系统（mathcal{L}^*）和谓词演算系统的统一近似推理理论，并得到了统一的完备定理。 引用于5文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 68层37 人工智能背景下的不确定性推理 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人，科学。中国，Ser。F 48，编号1，1-14（2005；Zbl 1182.03057） 全文： DOI程序