剥离

STRIP:结构共享,有效的证据搜索。在给出一个公式的基础上,给出了一个公式的结构证明,并将其作为一个命题系统的一个重要证明。


zbMATH参考文献(14篇文章引用了,2标准条款)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. Ferrari,Mauro;Fiorentini,Camillo;Fiorino,Guido:直觉命题逻辑的无收缩线性深度序列计算,具有子形式特性和最小深度计数器模型(2013)
  2. 加尔米切,迪迪埃;拉奇·温德林,多米尼克;维达尔·罗塞特,约瑟夫:关于证明与博弈关系的一些评论(2010)
  3. 费拉里,毛罗;佛罗伦萨,卡米洛;菲奥里诺,吉多:命题直觉逻辑的表演算与嵌套暗示的精化处理(2009)
  4. McLaughlin,Sean;Pfenning,Frank:Imogen:聚焦直觉命题逻辑的极化逆方法(2008)
  5. 托马斯·拉思;奥滕,詹斯;克里茨,克里斯托夫:直觉逻辑的ILTP问题库(2007)
  6. 托马斯·拉思;奥滕,詹斯;克里茨,克里斯托夫:ILTP库:直觉逻辑自动定理证明器的基准测试(2005)
  7. Galmiche,Didier;Méry,Daniel:命题的语义标记表(\textBI^\perp)(2003)
  8. Egly,Uwe:将lax逻辑嵌入直觉逻辑(2002)
  9. Larchey Wendling,Dominique:结合证明搜索和反模型构造来决定Gödel Dummett逻辑(2002)
  10. Galmiche,Didier;Méry,Daniel:命题双逻辑中的证明搜索和反模型生成(2001)
  11. Goré,Rajeev(编辑);Leitsch,Alexander(编辑);Nipkow,Tobias(编辑):自动推理。2001年6月18日至22日在意大利锡耶纳举行的第1届国际联席会议。诉讼(2001年)
  12. Larchey Wendling,D.;Méry,D.;Galmiche,Didier:STRIP:有效证据搜索的结构共享(2001)
  13. Hirokano,2000代标准型和长谷久子模型
  14. Galmiche,Didier;Larchey Wendling,Dominique:命题直觉逻辑中的结构共享和有效证明搜索(1999)