基于零级泛与运算的泛逻辑中的广义重言式理论

马盈仓何华灿薛占熬

Generalized Tautologies Theory of Universal Logic Based on the 0-level Universal AND Operators

Ying-Cang Ma Hua-Can He Zhan-Ao Xue

计算机工程与应用 . 2007, (3): 16 -16 .