摘要
本文主要讨论一些常见蕴涵算子及其在二位逻辑系统中的性质。从语义方面研究二值逻辑系统向多位逻辑系统扩充中与蕴涵算子密切相关的一系列问题，并讨论了多值逻辑系统与其子系统之间的关系，得到若干基本结果。
In this paper, implication operators and their properties are discussed in the 2-Valued logic system. A series of problems which are related to implication operators,extension from 2 -valued logic systen to multi -valued logic system are researched. Therelations between multi -valued logic system and his sub -system are investigated,someresults are obtained.
关键词
二值逻辑
性质
多值逻辑
Multi-valued logic
Evaluation lattice
Implication operator
Tautologies
R_0-algebra
