线性TAP swMATH ID: 11991 软件作者: Mantel,H.,Otten,J。 描述: linTAP是Girards线性逻辑乘法和指数片段的表证明程序。它通过构造一个解析表来证明给定公式的经典有效性,并通过前缀统一来确保线性有效性。由于代码紧凑,程序可以很容易地修改为特殊目的或应用程序。linTAP的特点:乘法指数片段M的定理证明器?线性逻辑LL。基于前缀语义表演算。健全完整。可用于流行Prolog系统的源代码,包括ECLiPSe Prolog、SWI-Prolog和SICStus Prolog。简单的输入格式。 主页: http://www.leancop.de/lintap/ 相关软件: 校准仪;洛利;TPTP公司;精益TAP;Sympli公司;ILLTP公司;质量管理长期计划;倾斜倾斜;PTTP公司;KoMeT公司;气象;E-SETHEO公司;萨奇莫;水獭;SETHEO公司;ModLeanTAP模式 引用于: 7文件 全部的 前5名12位作者引用 三 考斯托夫·乔杜里 三 弗兰克·芬宁 2 延斯·奥滕 2 普莱斯,格雷格 1 沃尔夫冈·比贝尔 1 马塞洛·达·S·科里亚 1 瓦莱里亚·德·佩瓦 1 海科·曼特尔 1 卡洛斯·奥拉特 1 伊莱恩·皮门特尔 1 吉赛尔·赖斯 1 莱昂纳多·布鲁诺·瓦纳 2篇连载文章中引用 1 符号计算杂志 1 自动推理杂志 在2个字段中引用 6 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 按年份列出的引文