蕴涵算子及二值逻辑系统的扩充

摘要

本文主要讨论一些常见蕴涵算子及其在二值逻辑系统中的性质。从语义方面研究二值逻辑系统向多值逻辑系统扩充中与蕴涵算子密切相关的一系列问题，并讨论了多值逻辑系统与其子系统之间的关系，得到若干基本结果。