本文详细讨论了多值逻辑的发展、SQL语言处理空值存在的问题,以及三值逻辑谓词演算系统MF的应用,该系统是一种比较适合SQL语言语义......

本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词＾、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备......

自然语言的意义很大程度上依赖于量化表达式。形式化自然语言的陈述而又不包含量词,几乎是不可能的。而且人们日常的交流和推理都......

弗雷格的思想理论与真理论在其逻辑哲学中占有极其重要的地位。弗雷格的逻辑哲学研究是围绕着这两个理论展开的。　　 弗雷格的思......

“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......

本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[......