|
|||||
|
|
| 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 Sciences,2008,27(5). | |
| Authors: | SUI Yun-yun |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |