基本 Łukasiewicz m-值条件句逻辑

逻辑学研究 2024 年第 5 期，1–20                             文章编号：1674-3202(2024)-05-0001-20

作者：霍书全

摘要：经典条件句逻辑被广泛地研究过，近几年，一些非经典的条件句逻辑也开始出现。多值逻辑承认命题可以取多个真值，具有容错能力，其蕴涵词和经典蕴涵词类似，同样可以刻画条件句，因此我们也应该有多值逻辑条件句逻辑。本文将基于Łukasiewicz m-值命题逻辑构建基本条件句逻辑系统ŁCK 和 ŁCK2，证明这些系统的可靠性、完全性和有穷模型性质。最后把 ŁCK 推广到无穷值情形。

关键词：基本条件句逻辑；Łukasiewicz m-值逻辑；多值模态逻辑；Kripke 语义

中图分类号：B81                                              文献标识码：A