基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑

建立了一种基于带 Fuzzy壳 Boole代数和修正的 Gaines-Rescher蕴涵算子的险象识别逻辑 ,并对这种逻辑进行了语义方面的研究 ,获得若干结果。特别是 ,在这种逻辑中笔者发现 α-HS规则和α-MP规则对每个α都无条件地成立。

带Fuzzy外壳和Boole心脏的险象识别逻辑

结合新近发展起来的Fuzzy命题逻辑的思想和组合线路险象识别技术的背景 ,改造G del蕴涵算子和公式代数的赋值格 ,构造了另一种带Fuzzy外壳和Boole心脏的险象识别逻辑 ,对其进行了语义地研究 ,得到若干有趣的结果 .

赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅰ)(英文)

建立了险象识别格的概念,并引进次大元,次小元,心脏,外壳,Boole型子格等相关概念,讨论其基本性质并给出若干例子,从而为进一步研究险象识别逻辑做好了准备.