系统_n~*的逻辑性质及其应用

Logical properties of the system Ln _n~* and their applications

证明了系统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.