OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

相关文章
更多...

软件学报 2003

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

, PP. 345-349

Keywords: 中介逻辑谓词演算系统,语义解释,无穷值语义解释,λ-可满足性,λ-归结

Full-Text Cite this paper Add to My Lib

Abstract:

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

Contact Us

service@oalib.com

WhatsApp +8615387084133