α-重言式相关论文
取赋值格为[0,1],用积分工具引入了公式的真度和相似度的概念,并从而在公式集F上建立了伪距离,为近似推理提供了一种可能的框架......
建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑,并对这种逻辑进行了语义方面的研究,获得若干结......
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分......
利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授......
建立了险象识别格的概念,并引进次大元,次小元,心脏,外壳,Boole型子格等相关概念,讨论其基本性质并给出若干例子,从而为进一步研究险象识......
引入一类特殊的公式序列Ak,k=1,2,…,证明了在Lukasiewicz多值逻辑系统,对任意真值a∈Ln而言,可达a-重言式类类不空,进一步证明了系统中广义重言式的类类互异定理......
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的......