中介逻辑谓词演算系统MFM

摘要：

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

关键词： 中介逻辑谓词演算系统 数据库理论

作者: 毛宇光 南京航空航天大学计算机科学研究所(南京) 徐洁磬 南京大学计算机科学与技术系(南京) 周勇 朱梧槚 南京航空航天大学计算机科学研究所(南京)

作者单位: 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机科学研究所(南京)

会议类型: 国内会议

会议名称: 2001年全国理论计算机科学学术会议

会议地点: 福州

会议语种:中文

页码: 144-148

在线出版日期: 2001-09-01（万方平台首次上网日期，不代表论文的发表时间）