当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
--
数理逻辑（符号逻辑）
--
命题演算、谓词演算、类演算
逻辑代数系统的粗糙性与拓扑性质研究
基本命题逻辑的模态扩张
基于μ-演算的局部模型检测算法设计
命题逻辑中子句集的分类研究
模糊离散事件系统的可控性
两种命题逻辑系统中的真度研究
几类模糊逻辑系统中真度及近似推理研究
S-逻辑系统中的积分相似度与对称逻辑公式在L4*逻辑度量空间中的分布
强左连续三角模基逻辑中命题的积分真度理论
模态逻辑的计量化研究及其在模型检验中的应用
DBR0-代数性质及相关研究
n值逻辑系统中命题的绝对真度及其随机化理论
二值命题逻辑公式在等价意义下的一般表示及其应用
L～*系统中的模糊演绎定理与R0代数性质的新探索
若干经典命题逻辑问题的拓扑刻画
逻辑算子集与模糊集和粗糙集的性质及其相关性
R0代数及Vague集的相似度理论
Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简
若干逻辑代数系统结构的研究
计量逻辑学及其随机化研究
命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论
逻辑代数上的滤子及反向三I算法统一形式的研究
多值命题逻辑中若干逻辑理论的拓扑刻画
三种逻辑代数的等价刻画和模糊模态逻辑
逻辑代数中若干问题的研究
命题逻辑公式集上的相似度、伪距离与近似推理
若干广义t-模及相关模糊逻辑系统
BL_△~*形式系统与NM（?）形式系统的研究
命题逻辑系统中理论的真度概念及其应用
R0代数的简化以及相对真度的相关性质研究
n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性
命题逻辑中广义MP问题的合理解及新型反向三I算法
QBL代数与IMTL代数及系统的研究
几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较
逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用
模糊推理方法及知识推理的计量化研究
逻辑度量空间的内蕴结构的研究
[1]
