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

研究了五个重要的多值逻辑系统Ｌｎ，Ｋｎ，Ｓｎ，Ｇｎ和Ｗｎ，讨论了这些系统子代数的特征及计数问题，以及这些系统的广义重言式理论，给出了这些系统子代数的特征性质与计数公式，证明了Ｌｎ，Ｓｎ，Ｇｎ中可达α－重言式类类不空，并探明了它们与经典逻辑系统重言式的关系。