3-值逻辑相关硕士博士期刊学术论文

证明有穷多值逻辑系统的完全性有多种方法，经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命......