ILTP

直觉逻辑定理证明(ILTP)库为一阶和命题直觉逻辑的自动定理证明(ATP)系统提供了一个测试和基准测试平台。它包括一阶和命题直觉式ATP系统的两个问题集合,以及将问题转化为现有直觉式ATP系统的输入语法的工具。它还包括有关当前可用于直观逻辑的ATP系统的信息,以及它们对ILTP库中问题的性能结果。


zbMATH中的参考文献(参考文献26条)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿瑞斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表演算(2019)
  2. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  3. 法拉利,毛罗;佛罗伦萨,卡米洛:直觉命题逻辑自然演绎中的目标导向证明搜索(2019)
  4. 佛罗伦萨,卡米洛;戈尔é, 拉吉耶夫;格雷厄姆·伦格兰德,圣éphane:直觉命题逻辑SMT求解的证明理论视角(2019)
  5. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:JTabWb:实现终止序列和表计算的Java框架(2017)
  6. Sutcliffe,Geoff:TPTP问题库和相关基础设施。从CNF到TH0,TPTP v6.4.0(2017)
  7. Dyckhoff,Roy:Gentzen以来的直觉决策程序(2016)
  8. 布洛克南内斯塔德,陶斯;Chaudhuri,Kaustuv:用有限近似迭代求精的逆方法进行反证(2015)
  9. 戈尔é, 拉吉耶夫;汤姆森,吉米;Wu,Jesse:使用全局缓存的直觉命题逻辑的基于历史的定理证明器:IntHistGC系统描述(2014)
  10. 树桩,亚伦;萨特克利夫,杰夫;Tinelli,Cesare:StarExec:用于逻辑解决的跨社区基础设施(2014)ioport公司
  11. 戈尔é, 拉吉耶夫;汤姆森,吉米:直觉命题逻辑的改进BDD方法:bddinkt系统描述(2013)
  12. 拉茨,托马斯;一阶模态逻辑的QMLTP问题库(2012)
  13. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:fCube:直觉命题逻辑的有效证明者(2010)
  14. Fiorino,Guido:基于多前提表演算的命题Dummett逻辑的快速决策过程(2010)
  15. Otten,Jens:在连接计算中限制回溯(2010)
  16. 萨特克利夫,杰夫;奔驰üLer,Christoph:使用TPTP THF基础设施的高阶逻辑中的自动推理(2010)
  17. Burel,Guillaume:直觉逻辑中的自动化理论(2009)
  18. 麦克劳林,肖恩;Pfenning,Frank:用极化逆方法证明直觉定理(2009)
  19. Sutcliffe,Geoff:TPTP问题库及相关基础设施和相关基础设施。FOF和CNF部件,v3.5.0(2009)
  20. 萨特克利夫,杰夫;奔驰ü勒,克里斯托夫;布朗,查德·E。;泰斯,弗兰克:高阶逻辑自动定理证明的进展(2009)