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

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