欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г-真度和条件真度存在的充要条件.
英文摘要：
In this paper,satisfiability theorem,compactness theorem and decidability theorem forthe system Ln Ln^＊ are proved,which improves theoretical system of the system Ln Ln^＊.Moreover,necessaryand sufficient conditions for ΣΓ- truth degree and conditional truth degree existing are given by thesatisfiability theorem.
同期刊论文项目
同项目期刊论文
期刊信息
位置：