×

兹马思-数学第一资源

无(\lambda\)高阶逻辑的叠加。(英语) Zbl 06958090
Galmiche,Didier(编辑)等人,《自动推理》。第九届国际联席会议,IJCAR 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10900,28-46(2018年)。
摘要:我们介绍了有意和可拓的无lambda高阶逻辑的完全叠加计算,这两种形式允许部分应用和应用变量。计算由一个不需要完全单调的项顺序参数化,使得可以使用\(\lambda\)—自由的高阶词典路径和Knuth-Bendix阶。我们在Zipperposition prover中实现了计算,并在TPTP基准上进行了评估。它们似乎是通向完整、高效的全高阶逻辑自动定理证明器的垫脚石。
整个系列请参见[Zbl 1391.68006].

理学硕士:
685表 定理证明(演绎、解析等)(MSC2010)
PDF格式 双歧杆菌 引用
全文: 内政部