|
|||||
|
|
| n值标准序列逻辑系统Sn的子代数及其重言式理论 | |
| 引用本文： | 隋云云. n值标准序列逻辑系统Sn的子代数及其重言式理论[J]. 重庆文理学院学报(自然科学版), 2008, 27(5) |
| 作者姓名： | 隋云云 |
| 作者单位： | 潍坊学院,山东,潍坊,261061 |
| 摘 要： | 讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件． |
| 关 键 词： | 逻辑系统 子代数 重言式 |
The Subalgebra and Tautology in n-valued Logic System Sn |
|
| SUI Yun-yun. The Subalgebra and Tautology in n-valued Logic System Sn[J]. Journal of Chongqing University of Arts and Scie, 2008, 27(5) | |
| Authors: | SUI Yun-yun |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |