Li Zou, Di Liu, Yingxin Wang, Juan Qu. Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System. In Hongzhi Wang, Haoliang Qi, Wanxiang Che, Zhaowen Qiu, Leilei Kong, Zhongyuan Han, Junyu Lin, Zeguang Lu, editors, Intelligent Computation in Big Data Era - International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, Harbin, China, January 10-12, 2015. Proceedings. Volume 503 of Communications in Computer and Information Science, pages 31-37, Springer, 2015. [doi]
Abstract is missing.