宁夏大学学报：自然科学版2022，Vol.43Issue(1)：P.30-32,4.
谓词逻辑中公理化真度的若干评注
摘要
关键词
一阶谓词逻辑/真度/广义矛盾式/矛盾式/定理分类
数理科学引用本文复制引用
马硕,惠小静,郝娇..谓词逻辑中公理化真度的若干评注[J].宁夏大学学报：自然科学版,2022,43(1):P.30-32,4.基金项目
国家自然科学基金资助项目(11471007,61763045) （11471007,61763045）
延安大学研究生教育创新计划项目(YCX2021056)。 （YCX2021056）
