当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
--
数理逻辑（符号逻辑）
近代数字理论中的特殊运算及其应用研究
有偏选举模型非紧邻的排它过程及其混合的遍历性等问题的研究
命题集的相容性、根及发散性
任务逻辑
部分多值逻辑中极大封闭集之最小覆盖的判定
区间值模糊命题逻辑及其广义重言式
修正的Atanassov命题逻辑及其广义重言式
L～*谓词逻辑与R0代数性质新探
一类n值命题逻辑中命题的真度理论及近似推理理论
DDS并行模型及其形式化
计量逻辑学及其随机化研究
命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论
逻辑代数上的滤子及反向三I算法统一形式的研究
多值命题逻辑中若干逻辑理论的拓扑刻画
三种逻辑代数的等价刻画和模糊模态逻辑
逻辑代数中若干问题的研究
BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论
命题逻辑公式集上的相似度、伪距离与近似推理
基于gfp-模型的描述逻辑FLε的循环术语集推理
描述逻辑系统εLN中的匹配问题
最大不动点模型下的描述逻辑系统FL0的有穷基
若干广义t-模及相关模糊逻辑系统
基于因果网的因果推断
格值模糊描述逻辑（？）-ALCN中的Duquenne-Guigues基
二型模糊逻辑系统的降型与推理模型研究
BL_△~*形式系统与NM（?）形式系统的研究
命题逻辑系统中理论的真度概念及其应用
R0代数的简化以及相对真度的相关性质研究
n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性
命题逻辑中广义MP问题的合理解及新型反向三I算法
区间集的蕴涵构造研究
超协调描述逻辑
QBL代数与IMTL代数及系统的研究
几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较
几种逻辑度量空间中的反射变换
n值SMTL系统中命题的∑-（[α，β]-真度）理论
描述逻辑εL循环术语集的保守扩充
描述逻辑系统VL的保守扩充
轻量级描述逻辑FL0的保守扩充
MTL-代数上的度量化研究
逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用
模糊推理方法及知识推理的计量化研究
逻辑度量空间的内蕴结构的研究
上一页
[1]
[2]
[3]
