| n值标准序列逻辑系统S_n的子代数及其重言式理论 |
| |
| 作者单位： | 潍坊学院 |
| |
| 摘 要： | 讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.
|
| 关 键 词： | 逻辑系统 子代数 重言式 |
The Subalgebra and Tautology in n-valued Logic System S_n |
| |
| Authors: | SUI Yun-yun |
| |
| Abstract: | n-valued standard serial Logic System Sn is discussed,and the sufficient and necessary condition to judge its subalgebra is given.The tautology in different fuzzy logic system Sn is compared.A sufficient condition for judging a non-tautology in n-valued system Sn was presented. |
| |
| Keywords: | logic system subalgebra tautology |
| 本文献已被 CNKI 等数据库收录！ |
|
