排序方式： 共有1条查询结果，搜索用时 15 毫秒
1
1.
四种命题逻辑中公式的相对Γ-重言度理论 总被引：3，自引：0，他引：3
基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,Godel系统和Π系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质。利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离。最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系。 相似文献
1