佩斯卡

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


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

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

1 2 ... 6 7 8 下一个

  1. 萨拉:证据的含义是什么?。证明理论语义学中的弗雷根区别(2021)
  2. Hatano,Ryo;三野,Katsuhiko:通过有界态射重新捕获关系变换器的动态逻辑(2021)
  3. 巴甫洛维奇,Edi;诺伯特:自由逻辑的一种更统一的方法(2021)
  4. 雅罗斯拉夫佩特鲁金;Vasilyi尚金:经典命题逻辑部分片段的对应分析(2021)
  5. 普鲁克斯马,克拉斯;范宁:伴随逻辑的信息传递解释(2021)
  6. Yale-Weiss模型的有限非扩张(Yale-Weiss-2021)
  7. 维克夫斯基,巴托斯:亚原子否定(2021)
  8. 伍尔姆,克里斯蒂安:用模糊推理(2021)
  9. 达戈斯蒂诺,马塞洛;加贝,Dov;Modgil,Sanjay:古典自然演绎中的正态性、非污染性和逻辑深度(2020)
  10. Das、Anupam:通过聚焦从QBFs到\textsfMALLand(2020)
  11. 德罗比谢维奇,谢尔盖;Wansing,Heinrich:各种基于模态逻辑的证明系统(2020)
  12. Fjellstad,Andreas:Herzberger极限规则与标号序列演算(2020)
  13. Fjellstad,Andreas:一阶弱Kleene逻辑的结构证明理论(2020)
  14. 盖拉迪,吉多;马菲齐奥利,保罗;奥朗德利,尤金尼奥:一阶逻辑扩展中的插值(2020)
  15. 帕拉门托,佛朗哥;Previale,Flavio:用附加原子规则吸收后续微积分中的结构规则(2020)
  16. Pezlar,Ivo:命题即类型范式中的演绎组合(2020)
  17. 广场,马里奥;普契尼,加布里埃尔:古典逻辑的分数语义学(2020)
  18. 拉莫斯,詹姆;拉斯加,若昂;Sernadas,Cristina:证明的基本结构作为复杂性的度量(2020)
  19. 余俊华:基于序列演算的实例邻域逻辑Lyndon插值定理(2020)
  20. 阿恩特,迈克尔:《暗示的八条推理规则》(2019)

1 2 ... 6 7 8 下一个