当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
基于gfp-模型的描述逻辑FLε的循环术语集推理
描述逻辑系统εLN中的匹配问题
最大不动点模型下的描述逻辑系统FL0的有穷基
一类弱自相似集的强正则性
若干广义t-模及相关模糊逻辑系统
基于因果网的因果推断
格值模糊描述逻辑（？）-ALCN中的Duquenne-Guigues基
二型模糊逻辑系统的降型与推理模型研究
BL_△~*形式系统与NM（?）形式系统的研究
命题逻辑系统中理论的真度概念及其应用
R0代数的简化以及相对真度的相关性质研究
n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性
命题逻辑中广义MP问题的合理解及新型反向三I算法
区间集的蕴涵构造研究
超协调描述逻辑
P-集合及其应用特性研究
QBL代数与IMTL代数及系统的研究
几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较
几种逻辑度量空间中的反射变换
n值SMTL系统中命题的∑-（[α，β]-真度）理论
描述逻辑εL循环术语集的保守扩充
描述逻辑系统VL的保守扩充
轻量级描述逻辑FL0的保守扩充
MTL-代数上的度量化研究
逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用
模糊推理方法及知识推理的计量化研究
逻辑度量空间的内蕴结构的研究
上一页
[1]
[2]
[3]
[4]
