一阶逻辑的基于公理化真度的发散度与相容度

王前; 惠小静; 袁一丹

doi:10.19907/j.0490-6756.240087

四川大学学报(自然科学版) ›› 2025, Vol. 62 ›› Issue (04) : 823 -830. DOI: 10.19907/j.0490-6756.240087

一阶逻辑的基于公理化真度的发散度与相容度

王前, 惠小静, 袁一丹

作者信息 +

Author information +

文章历史 +

PDF

摘要

一阶逻辑的程度化是计量逻辑研究中的一个重要问题.目前，对基于公理化真度的一阶逻辑的相容度的研究才刚刚开始.本文给出了发散度和极指标的等价形式，提出了一个新的极指标定义，即指标数.结合发散度和指标数，本文给出了η-相容度的等价形式ω-相容度以及它的刻画形式θ-相容度.本文还讨论了3种相容度的性质及相互关系.