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

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

亚模糊命题与重言式

引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。

赋值格为菱形格的4值逻辑系统GR_4~1

研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式，即．