3-值逻辑相关论文
证明有穷多值逻辑系统的完全性有多种方法，经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命......
本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，１９９６和１９９７）的基础上，本文发展出一种基于开放世界......
