HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

四种命题逻辑中公式的相对Γ-重言度理论

作者:王国俊; 刘保翠命题逻辑性质伪距离近似推理

摘要:基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,G(o)del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离.最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

工程数学学报

《工程数学学报》(CN:61-1269/O1)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《工程数学学报》是数学的理论方法与信息科学、现代工程、高新技术相结合的综合性学术刊物,侧重数学在科学技术及社会经济发展中的应用,主要刊登工业、应用数学方面的研究论文和相关的数学建模与计算方法、以及应用数学理论与方法方面的学术论文与综述。

杂志详情