佩斯卡

PESCA=顺序演算的证明编辑器:PESCA是一个帮助构造顺序演算证明的程序。它既是一个证明编辑器,也是一个自动定理证明程序。用Pesca构建的证明既可以在终端上看到,也可以打印成乳胶文件。Pesca的用户可以在经典和直觉命题和谓词演算的不同版本中进行选择,并通过非逻辑公理系统对它们进行扩展。Pesca的实现是用函数式编程语言Haskell编写的。


zbMATH参考文献(129篇文章引用)

显示129个结果中的1到20个。
按年份排序(引用)

1 2 ... 5 6 7 下一个

  1. D'Agostino,Marcello;Gabbay,Dov;Modgil,Sanjay:古典自然演绎中的常态、非污染和逻辑深度(2020)
  2. Das、Anupam:通过聚焦从QBFs到\textsfMALLand(2020)
  3. Fjellstad,Andreas:Herzberger极限规则与标号序列演算(2020)
  4. Guido Gherardi;Paolo Maffezioli;Orlandelli,Eugenio:一阶逻辑扩展中的插值(2020)
  5. 帕拉门托,佛朗哥;普雷维亚莱,弗拉维奥:用附加原子规则吸收后续微积分中的结构规则(2020年)
  6. 拉莫斯,詹姆;拉斯加,若昂;塞尔纳达斯,克里斯蒂娜:证明的基本结构作为复杂性的度量(2020)
  7. 余俊华:基于序列演算的实例邻域逻辑Lyndon插值定理(2020)
  8. 阿恩特,迈克尔:《暗示的八条推理规则》(2019)
  9. 苏珊娜:斯多葛顺序逻辑与证明理论(2019)
  10. 《查理斯科塔与直觉主义者》,2019
  11. 董惠民;格拉茨,诺伯特;罗伊,奥利维尔:开放阅读与自由选择许可:亚结构逻辑的一个视角(2019)
  12. Drobyshevich,Sergey:分离结构连接词或没有显示属性的生命(2019)
  13. González Huesca,Lourdes del Carmen;Miranda Perea,Favio E.;Linares Arévalo,P.Selene:构造必要性的公理和双重系统,正式验证的等价性(2019年)
  14. 格拉茨,诺伯特;奥朗德利,尤金尼奥:逻辑性,双线规则和模式(2019)
  15. Indrzejczak,Andrzej:证明理论背景下的Fregean描述理论(2019)
  16. Leszczynska Jasion,Dorota;Petrukhin,雅罗斯拉夫;Shangin,Vasilyi;Jukiewicz,Marcin:通过对应分析(\mathbfCPL)实现功能完整性(2019年)
  17. Maffezioli,Paolo;Orlandelli,Eugenio:带存在谓词的直觉逻辑的全切消除和插值(2019)
  18. 萨拉·内格里;冯·柏拉图,简:《从数学公理到数学证明规则:证明分析的最新发展》(2019年)
  19. Pavlović,Edi;Gratzl,Norbert:量化论元演算的证明理论分析(2019)
  20. 彼得罗,马蒂亚;皮斯顿,保罗:论正常形式的悖论(2019)

1 2 ... 5 6 7 下一个