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