α-重言式相关论文
取赋值格为[0，1]，用积分工具引入了公式的真度和相似度的概念，并从而在公式集F上建立了伪距离，为近似推理提供了一种可能的框架......
建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑,并对这种逻辑进行了语义方面的研究,获得若干结......
系统Hα是一个带有参数的系统，将参数α赋予不同的值，将会得到不同的多值逻辑系统．借助子代数理论，研究了多值逻辑系统Hα中的重言式分......
利用概率测度来定义直觉模糊命题逻辑公式A的α-真度，研究α-真度与α-重言式的关系，推理规则以及真度值在[0，1]中的分布；把王国俊教授......
研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR......
研究了赋值为R0-模糊集逻辑系统X的语义理论,得到了若干结果,特别是对X而言,F(S)中的α-重言式类只有1/2-重言式类与重言式类两类.......
建立了险象识别格的概念，并引进次大元，次小元，心脏，外壳，Boole型子格等相关概念，讨论其基本性质并给出若干例子，从而为进一步研究险象识......
介绍了最新发展起来的一种Fuzzy命题逻辑,以这种逻辑为基础的3算法为多种Fuzzy推理和Fuzzy控制提供了严密的数学规范和可靠的逻辑......
引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理......
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的......
定义了直觉模糊命题逻辑公式的概率α-真度，讨论了公式的σ-真度与σ-相似度之间的关系，并证明了基于σ-真度的公式的推理规则。最终......
