λ-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation
ZHANG Sheng-li1, PAN Zheng-hua2
1. Department of Computer Science, Xingyi Normal University for Nationalities, Xingyi 562400, Guizhou, China;
2. School of Science, Jiangnan University, Wuxi 214122, Jiangsu, China
ZHANG Sheng-li1, PAN Zheng-hua2. λ-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation[J].J4, 2012, 47(2): 109-114.
