当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
几类模糊逻辑系统中真度及近似推理研究
S-逻辑系统中的积分相似度与对称逻辑公式在L4*逻辑度量空间中的分布
基于代数方法的逻辑网络控制与应用
数学模型校准问题研究
R0代数的极大缩减及公式真度的范式表示
n值S-MTL系统中公式的矛盾度理论及理论的平均真度
浅析王氏悖论中的模糊性问题
P(ω)/Fin到ι_p与ι_q之间等价关系的嵌入
Curry悖论研究
经典命题逻辑中逻辑理论的计量化及应用
n值S-MTL逻辑系统中命题的Borel概率真度理论
强左连续三角模基逻辑中命题的积分真度理论
描述逻辑FLε的合一算法
模态逻辑的计量化研究及其在模型检验中的应用
DBR0-代数性质及相关研究
可逆逻辑函数分类及等价性判定
若干子集伪随机性的研究
动态信息与动态信息规律特征研究
粗糙逻辑及其计量化研究
可计算性逻辑中若干形式系统及算子的研究
模糊描述逻辑扩展模糊软集的研究
BR0代数及对应逻辑系统中单原子生成公式的真值函数特征
公式真度的推广及L~*系统单原子生成真值函数的特征
命题投影时序逻辑的完备公理系统与形式验证
L_n系统和L_n*系统中的真度理论
R0代数的两类特殊元及其应用
基于带标识的模糊Petri网的加权模糊推理
基于相似度的加权模糊推理方法
模糊规则之间交互影响的表现
用特殊结构的模糊测度表示规则间的交互作用
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
空间推理中固态物体及空洞的形式化描述
n值逻辑系统中命题的绝对真度及其随机化理论
关于软集的研究
二值命题逻辑公式在等价意义下的一般表示及其应用
个体间合作演化的分子动力学模拟
描述逻辑及其模态扩充的模型
模糊描述逻辑L-SI语义及推理的研究
含限定性数目约束的模糊描述逻辑FALCQ
MAX～+（2）公式改名的复杂性
概念格属性约简及扩展模式
两种模糊命题逻辑的公式的概率真度
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
Mizar语言系统与四元数的代数结构
L～*系统中的模糊演绎定理与R0代数性质的新探索
若干经典命题逻辑问题的拓扑刻画
关于逻辑代数与系统的若干问题研究
MTL-代数中几类特殊的滤子和Fuzzy滤子
多值逻辑代数中若干问题的研究
多值逻辑系统H_α与偏蕴涵代数
上一页
[1]
[2]
[3]
[4]
下一页
