论文部分内容阅读
本文以文[7]、[8]、[9]为基础,构造了一类基于中介逻辑的模态逻辑系统MK、MT、MS_4及MS_5,给出了它们的直观背景、推理规则及语义解释、证明了正规系统MK的可靠性与完备性定理。分析了这些系统与经典模态逻辑系统之间的关系。
Based on the texts [7], [8] and [9], this paper constructs a class of modal logic systems MK, MT, MS_4 and MS_5 based on the intervening logic, and presents their intuitionistic background, reasoning rules and semantic explanation , Proved the reliability and completeness theorem of the formal system MK. The relationship between these systems and the classical modal logic system is analyzed.