系统(￡)*n的逻辑性质及其应用

摘要：

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.

关键词：模糊逻辑、系统(￡)*n、可满足性、紧致性、可判定性、计量逻辑

所属期刊栏目：26

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

资助基金：国家自然科学基金10871229,60863002;浙江理工大学科研项目YJG-Z07001

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

页数：共6页

页码：247-252