一阶逻辑中公理化真度研究

一阶逻辑中公理化真度研究

郝娇, 惠小静, 马硕, 金明慧

Study on Axiomatic Truth Degree in First-order Logic

HAO Jiao, HUI Xiao-jing, MA Shuo, JIN Ming-hui

计算机科学 . 2021, (11A): 669 -671 . DOI: 10.11896/jsjkx.210200012