| 赋值格为非线性序的一种4值逻辑系统G_4~2 |
| |
| 引用本文： | 郑亚林,李彩萍.赋值格为非线性序的一种4值逻辑系统G_4~2[J].宝鸡文理学院学报(自然科学版),1998(4). |
| |
| 作者姓名： | 郑亚林 李彩萍 |
| |
| 作者单位： | 西安交通大学理学院信息与系统科学研究所(郑亚林)，宝鸡文理学院数学系(李彩萍) |
| |
| 摘 要： | 研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的ＩＰＣ－定理皆是Ｇ２４－重言式，以及，一个公式是Ｇ２４－重言式，当且仅当它既是Ｇ２４－中的Ｉ－重言式，又是－Ｊ重言式，即（Ｉ－Ｔ（Ｇ２４））∩（Ｊ－Ｔ（Ｇ２４））＝Ｔ（Ｇ
|
| 关 键 词： | Fuzzy逻辑 Godel蕴涵算子 α-MP规则 α-重言式 IPC-定理 |
A KIND OF 4-VALUE LOGIC SYSTEM ASSOCIATED WITH A NONLINEAR ORDERING EVALUATION LATTICE |
| |
| Zheng Yalin,Li Caiping.A KIND OF 4-VALUE LOGIC SYSTEM ASSOCIATED WITH A NONLINEAR ORDERING EVALUATION LATTICE[J].Journal of Baoji College of Arts and Science(Natural Science Edition),1998(4). |
| |
| Authors: | Zheng Yalin Li Caiping |
| |
| Institution: | Zheng Yalin 1 Li Caiping 2 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
