中介谓词逻辑系统的λ-归结

中介谓词逻辑系统的λ-归结

潘正华

【期刊名称】《软件学报》

【年(卷),期】2003(014)003

【摘要】给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.

【总页数】5页(P345-349)

【作者】潘正华

【作者单位】江南大学理学院,江苏无锡,214063

【正文语种】中文

【中图分类】TP301

【相关文献】

1.格值一阶逻辑系统的α广义归结原理 [J], 许伟涛;张闻强;徐扬;张德贤

2.中介谓词逻辑一种改进的语义解释及λ-归结 [J], 张胜礼;潘正华

3.基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [J], 刘熠;徐扬;贾海瑞

4.格值一阶逻辑系统LF(X)中的α-有序语义归结 [J], 张家锋;曹发生

5.中介逻辑谓词演算系统MF的λ-归结原理 [J], 张丽娟;潘正华

因版权原因，仅展示原文概要，查看原文内容请购买