Subalgebras and generalized tautologies of many-valued logic systems

• 多值逻辑系统中的子代数与广义重言式