设WMμ为系统MIPC*全部公式的集,再设Г∪{A} WMμ,则Г MIPC*A意义明显.而Г M A指ГM-蕴涵A.以前已证明Г M A Г MIPC*A,即MIPC......

本文对m+1阶波斯特代数进行了公理化的讨论,通过讨论,清楚地看到了m+1阶逻辑代数具有代数的可靠性定理和完全性定理.......

研究了Schweizer-Sklar T-范数(本文讨论p＜0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,......

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其......

讨论一阶格值逻辑系统LF（X）中带广义量词的语法推理，同时证明了LF（X）中带广义量词的可靠性定理，作为应用我们对带广义量词的一些推理规则......