逻辑系统L*n中一类特殊公式的ΣΓ-真度

摘要：

在模糊命题系统L*n中,利用公式A的原子公式集SA与有限理论Γ 的原子公式集SΓ 之间的关系,讨论了公式A的 ΣΓ-真度,给出了当SA?SΓ 和SA∩SΓ=Φ时τΓ(A)的简单表示形式.利用这些结论,给出了当SA?SΓ 时ΣΓ-真度的一些性质的简单证明.

关键词：逻辑系统L*n、有限理论、ΣΓ-真度

所属期刊栏目：52

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

资助基金：西安市科技计划项目CXY1443WL29

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

页数：共4页

页码：34-37