• ILTP

  • 22篇参考文献[SWO4437 ]
  • 直觉主义的 逻辑定理证明(ILTP)库为自动化定理的测试和基准提供了一个平台。一阶命题系统直觉主义的 逻辑. 它包括两个问题集合首先…关于目前可用的ATP系统直觉主义的 逻辑它们的性能对问题产生了影响。
  • 极小值

  • 44篇参考文献[SW29 625]
  • 基于系统的类型系统直觉主义的情态动词逻辑S4提供了一个表达框架来指定…
  • 兰科普

  • 19篇参考文献[SW0976]
  • 经典一阶紧致定理证明器逻辑,基于连接(TabLoue)演算…紧致定理证明器直觉主义的一阶逻辑并基于…子句连接演算直觉主义的 逻辑. LeCANOP 2扩展了经典证明器LeCANOP…
  • 回肠

  • 13篇参考文献[SW0977]
  • 基于连接的定理证明直觉主义的一阶逻辑. 我们提出…一阶子句连接演算直觉主义的 逻辑. 它扩展了经典的连接演算…编码特征的前缀直觉主义的 逻辑. 我们的微积分是以一个句子为基础的。矩阵表征直觉主义的 逻辑我们证明是正确的和完整的。微积分实现了…
  • 伊莫金

  • 9篇参考文献[ SW11384]
  • 聚焦极化反演方法直觉主义的命题的逻辑. 在本文中,我们描述伊莫金…定理证明器直觉主义的命题的逻辑使用聚焦逆方法。我们代表细粒度…
  • 丁香花

  • 13篇参考文献[ SW08983]
  • 接受Abramsky的任期分配直觉主义的线性的逻辑(线性项演算…
  • 长条

  • 14篇参考文献[SW04650]
  • 系统是一个定理证明器。直觉主义的命题的逻辑有两个主要特点:交易…
  • LMNTAL

  • 9篇参考文献[SW07312]
  • 简约符合逻辑的基于解释直觉主义的线性的逻辑和扁平化技术。这使…
  • F立方

  • 6篇参考文献[ SW11383]
  • FCube:一种有效的证明器直觉主义的命题的逻辑. 我们提出fCube,一个定理证明器…直觉主义的命题的逻辑基于一个表格演算。F立方体的主要新奇之处在于…
  • 泰约斯

  • 16篇参考文献[SW21364 ]
  • Prolog这个逻辑编程语言La Prolog是基于直觉主义的高阶理论…
  • 梅特尔

  • 12篇参考文献[SW11990 ]
  • 各种模态的证明器,直觉主义的、混合、描述和度量逻辑学. 梅特尔的核心成分…
  • 皮普

  • 3篇参考文献[SW11386]
  • PITP,一个决定命题的过程直觉主义的 逻辑这就在此刻…
  • 最小对数

  • 2篇参考文献[SW30424]
  • 命题极小逻辑海廷的直觉主义者 逻辑. 它实现了基于…的决策过程。
  • 铟镓铟镓

  • 2篇参考文献[SW24227 ]
  • 基于历史的定理证明器直觉主义的命题的逻辑使用全局缓存:ithistGC系统描述…定理证明器直觉主义的命题的逻辑基于一个有历史的演算…
  • 斯基尔

  • 2篇参考文献[SW25433 ]
  • 有证据。综合知识直觉主义的 逻辑是一个专用的交互式定理证明器…
  • 倾斜

  • 1篇参考文献[SW24052]
  • 基于表的定理证明器直觉主义的 逻辑一种基于表的定理证明器直觉主义的 逻辑
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • 基于系统的类型系统直觉主义的线性分段逻辑已经提出,应用…
  • BDDENTKT

  • 1篇参考文献[SW23 466]
  • 改进的BDD方法直觉主义的命题的逻辑BDDITKT系统描述。我们之前提出了一个决定…命题的可满足性和有效性直觉主义的 逻辑使用二进制决策图(BDDS)的INT…
  • 次协调性

  • 1篇参考文献[SW28 72]
  • 连贯的方式。古典与直觉主义的 逻辑一切都来自一个不一致的理论。一个协调一致的…
  • JTABWB

  • 2篇参考文献[SW21865 ]
  • 最先进的工具直觉主义的命题的逻辑