四川大学学报（自然科学版）2025，Vol.62Issue(4)：823-830,8.DOI:10.19907/j.0490-6756.240087
一阶逻辑的基于公理化真度的发散度与相容度
Divergence and compatibility of first-order logic based on axiomatic truth degree
摘要
Abstract
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.关键词
一阶逻辑/公理化真度/发散度/相容度Key words
First-order logic/Axiomatic truth degree/Divergence degree/Compatibility degree分类
数理科学引用本文复制引用
王前,惠小静,袁一丹..一阶逻辑的基于公理化真度的发散度与相容度[J].四川大学学报（自然科学版）,2025,62(4):823-830,8.基金项目
国家自然科学基金(12261090) （12261090）
延安大学研究生教育创新计划项目(YCX2024040) （YCX2024040）
