佩斯卡

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


ZBMaCT中的参考文献(116篇文章中引用)

显示结果1至20的116。
按年份排序(引文
  1. 阿尔恩特,米迦勒:蕴涵的八种推理规则(2019)
  2. 博布青,苏珊:斯多葛的连续逻辑与证明理论(2019)
  3. 卢尔德卡门、Miranda Perea、Favio E.、Linares Ar·瓦洛、P. Selene:建构必要性的公理和对偶系统,一种形式化验证的等价性(2019)
  4. Drobyshevich、谢尔盖:解构结构连接词或无显示属性的生命(2019)
  5. Gratzl,诺伯特;Orlandelli,尤金尼奥:逻辑性、双线规则和情态(2019)
  6. 安德烈杰扎克,安德雷杰:证明理论中的描述理论(2019)
  7. LasZcZy Ska Jason,Dorota;PetrukHin,雅罗斯拉夫;Shangin,VasiLi;Jukiewicz,Marcin:(MaTHBFCPL)的功能完备性:对应分析(2019)
  8. Maffezioli,Paolo;Orlandelli,尤金尼奥:具有存在谓词的直觉逻辑的完全割消和插值(2019)
  9. 内格里,萨拉;von Plato,简:从数学公理到数学证明规则:证据分析的最新发展(2019)
  10. PaulLogVi,EDI;GravZL,诺伯特:量化论证演算的证明理论分析(2019)
  11. 皮特罗,Mattia;皮斯托,Paolo:关于范式的悖论(2019)
  12. Rinaldi、Davide、韦塞尔、丹尼尔:蕴涵关系的消去(2019)
  13. Rosenblatt,卢卡斯:非压缩经典逻辑(2019)
  14. 斯坦德费尔,肖恩:GunZhan-Palwitz与J.K.KoWist-FiCH自然演绎证明之间的翻译(2019)
  15. 安东森,罗杰;Nakkerud,安德烈亚斯:《J. von Plato的书评》,逻辑推理的要素(2018)
  16. Brasavavjevii,Mijaya: Gentzen(\ MathbfnJ)和(MathBFLJ)的规则分析(2018)
  17. 赫莱博夫斯基,SZIMON:(MathsFSCI)的连续计算(2018)
  18. 弗朗西斯,Nissim:暗示消除规则需要一个小前提吗?(2018)
  19. 吉兰多,玛丽安娜;尼格里,萨拉;奥利维提,尼古拉;RISCH,文森特:条件信念:从邻域语义到序列演算(2018)
  20. 安德烈杰扎克、安德雷杰:斯坦尼斯·奥贾·科夫斯基与自然演绎系统(2018)