一阶逻辑的基于公理化真度的发散度与相容度OA北大核心

Degree of first-order logic plays an important role in quantitative logic.Nowadays,studies on the compatibility degree of first-order logic based on axiomatic truth degree is just at the beginning.In this paper,the equivalent forms of the divergence degree and the polar index are given,respectively.A new concept of polar index,that is,index number is introduced.Combining the concepts of divergence degree and index num-ber,the η-compatibility degree,the ω-compatibility degree and the θ-compatibility degree are given.Finally,the basic properties and the relationship between the three compatibility degrees are addressed.