四种命题逻辑中公式的相对Γ-重言度理论
基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,G(o)del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离.最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.
作 者: 王国俊 刘保翠 WANG Guo-jun LIU Bao-cui 作者单位: 王国俊,WANG Guo-jun(陕西师范大学数学与信息科学学院,西安,710062;西安交通大学基础科学研究中心,西安,710049)刘保翠,LIU Bao-cui(陕西师范大学数学与信息科学学院,西安,710062)
刊 名: 工程数学学报 ISTIC PKU 英文刊名: CHINESE JOURNAL OF ENGINEERING MATHEMATICS 年,卷(期): 2007 24(4) 分类号: O141.1 关键词: 命题逻辑 相对Γ-重言度 性质 Γ-相似度 伪距离 近似推理