Research on Vector Representation of Formula in Three-Valued Lukasiewicz Propositional Logic System
HE Jinrui, HUI Xiaojing, SHUANG Jingning
Journal of Frontiers of Computer Science and Technology . 2015, (9): 1147 -1152 .  DOI: 10.3778/j.issn.1673-9418.1411023