赋值格为菱形格的4值逻辑系统GR4～1

被引：0

作者：

郑亚林

白永成

王刚

机构：

[1] 西安交通大学理学院信息与系统科学研究所!陕西西安

[2] 汉中师院数学系

[3] 汉中市邮电局!陕西汉中

来源：

汉中师范学院学报(自然科学) | 1998年 / 06期

关键词：

Fuzzy逻辑; Gaines-Rescher蕴涵算子; α-重言式; α-MP规则;

D O I：

暂无

中图分类号：

O141 [数理逻辑（符号逻辑）];

学科分类号：

070104 ; 010104 ; 010105 ;

摘要：

研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式，即．

引用

页码：6 / 8

页数：3