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

摘要：

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

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

所属期刊栏目：27

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

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

页数：共3页

页码：9-11