Formal Deductive System of Fuzzy Propositional Logic with Different Negations
ZHANG Shengli1,2+
1. School of Computer Science, Shaanxi Normal University, Xi’an 710119, China
2. School of Information Technology, Xingyi Normal University for Nationalities, Xingyi, Guizhou 562400, China
ZHANG Shengli. Formal Deductive System of Fuzzy Propositional Logic with Different Negations[J]. Journal of Frontiers of Computer Science and Technology, 2014, 8(4): 494-505.