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

摘要：

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

关键词：命题逻辑、相对Γ-重言度、性质、Γ-相似度、伪距离、近似推理

所属期刊栏目：24

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金10331010

在线出版日期：2007-08-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：598-610