Gödel逻辑系统中1/2-子代数上的广义重言式理论
李修清
Theory of generalized tautology in 1/2-subalgebras of Gödel logical system
LI Xiuqing
计算机工程与应用 . 2011, (5): 43 -45 .