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

  • 打印
  • 收藏
收藏成功


打开文本图片集

中图分类号:0141 文献标志码:A DOI: 10.19907/j.0490-6756.240087

Divergence and compatibility of first-order logic basedon axiomatictruthdegree

WANG Qian,HUI Xiao-(剩余12805字)

monitor