系统 <em>H<sub>α</sub></em>中的子代数的广义重言式理论

系统 H_α中的子代数的广义重言式理论

李顺琴 ¹，王国俊 ²

Theory of generalized tautology in subalgebras of system H_α

LI Shun-qin ¹，WANG Guo-jun ²

计算机工程与应用 . 2010, (8): 37 -39 . DOI: 10.3778/j.issn.1002-8331.2010.08.011