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

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

作　　者：于鸿丽[1] 

机构地区：[1]西安文理学院数学系,陕西西安710065

出　　处：《西安文理学院学报（自然科学版）》2008年第3期36-39,共4页Journal of Xi’an University(Natural Science Edition)

基　　金：西安文理学院专项科研基金(KY200650)

摘　　要：系统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.

关 键 词：系统Hα 重言式 Α-重言式 子代数 

分 类 号：O142[理学—数学]