n值逻辑系统S_n的子代数及其重言式理论  

作　　者：隋云云[1] 

机构地区：[1]潍坊学院,山东潍坊261061

出　　处：《潍坊学院学报》2008年第6期91-93,共3页Journal of Weifang University

摘　　要：讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。

关 键 词：逻辑系统 子代数 重言式 

分 类 号：O141.1[理学—数学]