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

摘要：

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

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

所属期刊栏目：8

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2009-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：91-93