研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR......

引入基模糊公式的概念，在Gaines-Rescher蕴涵算子下，给出模糊命题逻辑系统完备的一个充分必要条件。......