Generalized quasi-tautology of Gödel interval-valued logic system
WEI Li-ping,XUE Zhan-ao,CEN Feng
Computer Engineering and Applications . 2009, (6): 57 -59 .  DOI: 10.3778/j.issn.1002-8331.2009.06.017