Formal Deductive System of Fuzzy Propositional Logic with Different Negations
ZHANG Shengli
Journal of Frontiers of Computer Science and Technology . 2014, (4): 494 -505 .  DOI: 10.3778/j.issn.1673-9418.1306006