林塔普

LeTAP是Grand线性逻辑的乘法和指数片段的表格证明。通过构造解析表,证明了给定公式的经典有效性,并用前缀统一保证了线性有效性。由于紧凑的代码,程序可以很容易地修改为特殊目的或应用程序。林塔普的特征:乘法指数分段M的定理证明器线性逻辑的LL。基于前缀语义TabLouu演算。声音完整。流行的Prolog系统可用的源代码,包括Eclipse Prolog、SWI PROlog和SICSTUS PROlog。简单的输入格式。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。