修正的Gödel逻辑系统中子代数的广义重言式理论

修正的Gödel逻辑系统中子代数的广义重言式理论

李顺琴 ¹,王国俊 ²

Theory of generalized tautology in subalgebras of revised Gödel logical system

LI Shun-qin ¹,WANG Guo-jun ²

计算机工程与应用 . 2008, (36): 58 -60 . DOI: 10.3778/j.issn.1002-8331.2008.36.016