当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
F（S）中的近似推理与三I算法的连续性
计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论
Bent函数及相关免疫函数的若干研究
DPLL到（1，1）-消解的转换及其复杂性分析
基于描述逻辑的概念建模研究
非单调继承系统中的关系和扩张
MAX～+（k）中公式改名的复杂性
关于（k，s）-SAT临界函数上下界的研究
逻辑算子集与模糊集和粗糙集的性质及其相关性
R0代数及Vague集的相似度理论
IL型三I算法及其还原性和R0代数中的滤子格
Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简
Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间
逻辑公式的语构真度和构造性三I算法
经典逻辑系统（？）中的MT问题及公式的真度理论
剩余格中的几类Fuzzy滤子和Fuzzy同余关系
集合上的正合列和幺半群的半直积
几乎差集的构作
案例推理与数学问题解决
图论在集合论中的应用
若干逻辑代数系统结构的研究
缺省逻辑的扩充
关于PI证明的若干注记以及逻辑公式的真度理论
理论的相容度及效应代数的滤子与商
格蕴涵代数中滤子和理想的研究
近代数字理论中的特殊运算及其应用研究
有偏选举模型非紧邻的排它过程及其混合的遍历性等问题的研究
Z-连续偏序集
命题集的相容性、根及发散性
任务逻辑
NB和PC的比较研究
关于Extended有向三元系大集的构作
关于平面点集中不交凸分划四边形个数的进一步讨论
关于有限平面点集的内点个数问题
部分多值逻辑中极大封闭集之最小覆盖的判定
组合移位运算与分次Betti数
区间值模糊命题逻辑及其广义重言式
修正的Atanassov命题逻辑及其广义重言式
L～*谓词逻辑与R0代数性质新探
一类n值命题逻辑中命题的真度理论及近似推理理论
DDS并行模型及其形式化
计量逻辑学及其随机化研究
命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论
逻辑代数上的滤子及反向三I算法统一形式的研究
多值命题逻辑中若干逻辑理论的拓扑刻画
三种逻辑代数的等价刻画和模糊模态逻辑
逻辑代数中若干问题的研究
BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论
裁元齐次Moran集的Hausdorff维数
命题逻辑公式集上的相似度、伪距离与近似推理
上一页
[1]
[2]
[3]
[4]
下一页
