佩斯卡 swMATH ID: 13664 软件作者: 阿内·兰塔 描述: PESCA=顺序演算的证明编辑器:PESCA是一个帮助在顺序演算中构造证明的程序。它既是一个证明编辑器,又是一个自动定理证明器。在Pesca中构建的证明既可以在终端上看到,也可以打印到LaTeX文件中。Pesca的用户可以在经典命题和直觉命题以及谓词演算的不同版本中进行选择,并通过非逻辑公理系统对其进行扩展。Pesca的实现是用函数式编程语言Haskell编写的。 主页: http://hackage.haskell.org/package/pesca 依赖项: 哈斯克尔 相关软件: 微型ML;Coq公司;伊莎贝尔;TABLEAUX公司;洛利;精灵;质量管理清单;半人马座;PRIZ公司;阿贝拉;Twelf公司;精益TAP;SWI-预测;特尤斯;低成本融资;github;tuCLEVER公司;莫因;梅蒂斯_;伊莎贝尔/HOL 引用于: 198文件 全部的 前5名174位作者引用 20 内格里,萨拉 14 安德烈·因德泽扎克(Andrzej Indrzejczak) 10 诺伯特·格拉茨 7 保罗·马菲齐奥利 7 冯·柏拉图,简 6 埃迪·巴甫洛维奇 5 Leszczyńska Jasion,多罗塔 5 奥兰德利,尤金尼奥 5 佐野胜彦 4 Borisavljević,米尔贾纳 4 安德烈亚斯·费尔斯塔德 4 阿尔贝托·奈博 4 雅罗斯拉夫·伊戈列维奇·彼得鲁金 4 彼得·约瑟夫·施罗德·海斯特 三 比姆博,卡塔林 三 希蒙·克莱博夫斯基 三 Gilles Dowek 三 罗伊·戴克霍夫 三 拉杰夫·普拉巴卡尔·戈尔 三 劳尔·哈克利 三 马明辉 三 维克托·五世(Victor V.Pambuccian)。 三 佛朗哥·帕拉米奥 三 佛罗里达州普雷维亚尔 三 阅读,斯蒂芬 三 罗伊,奥利维尔 三 瓦西里·沙金 三 柳竹村 三 卢卡·特兰奇尼 三 海因里希·西奥多 三 丹尼尔·韦塞尔 2 Samuel R.巴斯。 2 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 2 亚历杭德罗·迪亚斯·卡洛 2 谢尔盖·德罗比舍维奇 2 马丁·菲舍尔 2 尼西姆·弗朗西兹 2 简·赫尔曼·杰弗斯 2 侯哲 2 托尼·赫肯斯 2 罗莎莉,伊姆霍夫 2 库尔比斯,尼尔斯 2 Hidenori Kurokawa 2 比约恩·莱尔曼 2 Linares Arévalo,皮拉尔·塞琳 2 彼得·米尔恩 2 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 2 朱利安·穆尔齐 2 卡洛·尼古莱 2 野村,Shoshin 2 卡洛斯·奥拉特 2 德克·帕丁森 2 马蒂亚,彼得罗 2 伊沃·佩兹拉 2 伊莱恩·皮门特尔 2 加布里埃尔·普奇尼 2 乔安·拉斯加 2 卢卡斯·丹尼尔·罗森布拉特 2 彼得·迈克尔·舒斯特 2 肖恩·斯坦德弗 2 克拉斯·斯特兰纳 2 阿文·费南托(Alwen Fernanto Tiu) 2 安德烈·维希·涅夫斯基 1 Mojtaba Aghaei 1 杰西·阿拉玛 1 罗马斯·阿隆德里斯 1 罗杰·安东森 1 迈克尔·阿恩特 1 阿诺·阿夫隆 1 萨拉·艾汉 1 阿诺德·贝克曼 1 尼克·贝扎尼什维利 1 玛尔塔·比尔科娃 1 苏珊娜·博布赞 1 科西莫·佩里尼·布罗吉 1 马西米利亚诺·卡拉拉 1 切尼,詹姆斯 1 戴维·齐亚鲁吉 1 佐埃·克里斯托夫 1 拉纳德·A·克鲁斯顿。 1 巴勃罗·科布雷罗斯 1 科德斯,莫里茨 1 布鲁诺·达雷 1 达戈斯蒂诺,马塞洛 1 达斯,阿努帕姆 1 杰里米·道森。 1 de Campos Sanz,瓦格纳 1 瓦莱里亚·德·佩瓦 1 博格丹·迪彻 1 董惠民 1 巴勃罗·多皮科 1 乔恩·迈克尔·邓恩 1 塞西莉亚·恩格兰德 1 弗雷德里克·恩格斯特罗姆 1 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 1 莫雷诺,法拉斯基 1 朱利奥·费林 1 菲利波·法拉利 1 法语、罗汉语 1 Dov M.加巴伊。 …还有74位作者 全部的 前5名在38篇连载文章中被引用 33 Studia Logica公司 20 哲学逻辑杂志 16 符号逻辑述评 11 合成 9 数学逻辑档案 9 逻辑与逻辑哲学 7 泛逻辑 5 纯逻辑与应用逻辑年鉴 5 逻辑、语言与信息杂志 4 理论计算机科学 4 逻辑科公报 4 应用非经典逻辑杂志 三 圣母院形式逻辑杂志 三 自动推理杂志 2 符号逻辑公报 2 托波伊 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 代数普遍性 1 《数学研究所出版物》。Nouvelle Série公司 1 数理逻辑报告 1 注释di Matematica 1 逻辑历史与哲学 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑季刊(MLQ) 1 数学通信 1 计算系统理论 1 IGPL逻辑杂志 1 埃尔肯特尼斯 1 逻辑程序设计理论与实践 1 Oberwolfach报告 1 CSLI课堂讲稿 1 牛津逻辑指南 1 计算机科学中的逻辑方法 1 可计算性 1 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 1 Logicheskie Issledovaniya逻辑 全部的 前5名在14个字段中引用 193 数学逻辑和基础(03-XX) 15 计算机科学(68至XX) 6 几何图形(51至XX) 三 历史和传记(01-XX) 三 阶、格、有序代数结构(06-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 2 交换代数(13-XX) 1 场论和多项式(12-XX) 1 范畴理论;同调代数(18-XX) 1 几个复变量和分析空间(32-XX) 1 一般拓扑结构(54-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文