关于
该软件项目最初是Mark-Matthias Zymla和Moritz Messmer与Richard Crouch,Tracy Holloway King和Miriam Butt合作的一个小型项目,目的是恢复XLE使用的旧胶水证明者。我们希望为胶水语义提供一个最新的平台,由于其模块化的结构,因此既易于使用又可扩展。
该系统包含两个线性逻辑证明:
线性逻辑证明者基于Mark Hepple的图表证明者,并根据Lev(2007)中的建议进行了改进
Lev自己的线性逻辑证明器的基本实现。通常提供与