多值逻辑系统H_α中的重言式分类定理

Generalized Tautology Theorem in the Many-valued Logic System H_α

系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础.

Logic system Hα is a parametric system. Given parameter α different values, different many-valued logic systems can be obtained. By the subalgebra theory classification theorem of tautology in Many-valued Logic System Hα has been discussed, which has laid a foundation for the systemHα in its further research.