当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
--
数理逻辑（符号逻辑）
模态逻辑的计量化研究及其在模型检验中的应用
DBR0-代数性质及相关研究
可逆逻辑函数分类及等价性判定
粗糙逻辑及其计量化研究
可计算性逻辑中若干形式系统及算子的研究
BR0代数及对应逻辑系统中单原子生成公式的真值函数特征
公式真度的推广及L~*系统单原子生成真值函数的特征
命题投影时序逻辑的完备公理系统与形式验证
L_n系统和L_n*系统中的真度理论
R0代数的两类特殊元及其应用
基于带标识的模糊Petri网的加权模糊推理
基于相似度的加权模糊推理方法
模糊规则之间交互影响的表现
用特殊结构的模糊测度表示规则间的交互作用
空间推理中固态物体及空洞的形式化描述
n值逻辑系统中命题的绝对真度及其随机化理论
二值命题逻辑公式在等价意义下的一般表示及其应用
MAX～+（2）公式改名的复杂性
概念格属性约简及扩展模式
两种模糊命题逻辑的公式的概率真度
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
Mizar语言系统与四元数的代数结构
L～*系统中的模糊演绎定理与R0代数性质的新探索
若干经典命题逻辑问题的拓扑刻画
关于逻辑代数与系统的若干问题研究
MTL-代数中几类特殊的滤子和Fuzzy滤子
多值逻辑代数中若干问题的研究
多值逻辑系统H_α与偏蕴涵代数
F（S）中的近似推理与三I算法的连续性
计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论
Bent函数及相关免疫函数的若干研究
DPLL到（1，1）-消解的转换及其复杂性分析
基于描述逻辑的概念建模研究
非单调继承系统中的关系和扩张
MAX～+（k）中公式改名的复杂性
关于（k，s）-SAT临界函数上下界的研究
逻辑算子集与模糊集和粗糙集的性质及其相关性
R0代数及Vague集的相似度理论
IL型三I算法及其还原性和R0代数中的滤子格
Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简
Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间
逻辑公式的语构真度和构造性三I算法
经典逻辑系统（？）中的MT问题及公式的真度理论
剩余格中的几类Fuzzy滤子和Fuzzy同余关系
案例推理与数学问题解决
若干逻辑代数系统结构的研究
缺省逻辑的扩充
关于PI证明的若干注记以及逻辑公式的真度理论
理论的相容度及效应代数的滤子与商
格蕴涵代数中滤子和理想的研究
上一页
[1]
[2]
[3]
下一页
