沃尔克·哈尔斯列夫;白雪英;Shiri,线虫 不确定性描述逻辑的形式化框架。 (英语) Zbl 1191.68649号 国际J近似推理 50,第9期,1399-1415(2009).MSC公司:68T27型 68立方英尺 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Haarslev}et al.,Int.J.近似推理50,No.9,1399--1415(2009;Zbl 1191.68649) 全文: 内政部
费尔南多·博比洛;米盖尔·德尔加多;胡安·戈梅斯·罗梅罗;翁贝托·斯特拉契亚 哥德尔语义下的模糊描述逻辑。 (英语) 兹比尔1191.68647 国际J近似推理 50,第3期,494-514(2009).MSC公司:68T27型 03B52号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Bobillo}et al.,Int.J.近似推理50,No.3,494--514(2009;Zbl 1191.68647) 全文: 内政部
曹特鲁H。;彼得·克雷塞(Peter N.Creasy)。 模糊类型:处理对象类型不确定性的框架。 (英语) Zbl 0968.68026号 国际J近似推理 25,第3期,217-253(2000).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Cao}和\textit{P.N.Creasy},国际期刊近似推理25,第3期,217--253(2000;Zbl 0968.68026) 全文: 内政部
伯恩哈德·霍兰德 可能性逻辑的另一种证明方法及其在术语逻辑中的应用。 (英语) Zbl 0814.68120号 国际J近似推理 12,第2期,85-109(1995).MSC公司:68T27型 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{B.Hollander},《国际近似推理》第12卷第2期,第85-109页(1995年;Zbl 0814.68120) 全文: 内政部 arXiv公司