佩斯卡

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


zbMATH参考文献(参考 120篇文章

显示第1到第20个结果,共120个。
按年份排序(引用)
  1. D'Agostino,Marcello;Gabbay,Dov;Modgil,Sanjay:古典自然演绎中的常态、非污染和逻辑深度(2020)
  2. 帕拉门托,佛朗哥;普雷维亚莱,弗拉维奥:用附加原子规则吸收后续微积分中的结构规则(2020年)
  3. 余俊华:基于序列演算的实例邻域逻辑Lyndon插值定理(2020)
  4. 阿恩特,迈克尔:《暗示的八条推理规则》(2019)
  5. 苏珊娜:斯多葛顺序逻辑与证明理论(2019)
  6. del Carmen González Huesca,Lourdes;Miranda Perea,Favio E.;Linares Arévalo,P.Selene:构造必要性的公理和双重系统,正式验证的等价性(2019年)
  7. Drobyshevich,Sergey:分离结构连接词或没有显示属性的生命(2019)
  8. 格拉茨,诺伯特;奥朗德利,尤金尼奥:逻辑性,双线规则和模式(2019)
  9. Indrzejczak,Andrzej:证明理论背景下的Fregean描述理论(2019)
  10. Leszczynska Jasion,Dorota;Petrukhin,雅罗斯拉夫;Shangin,Vasilyi;Jukiewicz,Marcin:通过对应分析(\mathbfCPL)实现功能完整性(2019年)
  11. Maffezioli,Paolo;Orlandelli,Eugenio:带存在谓词的直觉逻辑的全切消除和插值(2019)
  12. 萨拉·内格里;冯·柏拉图,简:《从数学公理到数学证明规则:证明分析的最新发展》(2019年)
  13. Pavlović,Edi;Gratzl,Norbert:量化论元演算的证明理论分析(2019)
  14. 彼得罗,马蒂亚;皮斯顿,保罗:论正常形式的悖论(2019)
  15. Rinaldi,Davide;Wessel,Daniel:《包含关系的削减消除》(2019)
  16. 罗森布拉特,卢卡斯:非吸引力古典逻辑(2019)
  17. Standefer,Shawn:Gentzen Prawitz和Jaśkowski-Fitch自然演绎证明(2019)之间的翻译
  18. 安东森,罗杰;纳克鲁德,安德烈亚斯:书评:J.冯柏拉图,《逻辑推理的要素》(2018)
  19. Borisavljević,Mirjana:对Gentzen(\mathbfNJ)和(\mathbfLJ)规则的分析(2018)
  20. Chlebowski,Szymon:Sequent calculi for(\mathsfSCI)(2018年)