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

摘要

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

关键词

一阶逻辑 / 公理化真度 / 发散度 / 相容度

基金资助

国家自然科学基金(12261090); 延安大学研究生教育创新计划项目(YCX2024040)