论文标题
部分订单，残差和一阶线性逻辑
Partial Orders, Residuation, and First-Order Linear Logic
论文作者
论文摘要
我们将研究一阶线性逻辑的证明理论和语言方面。我们将证明，添加部分订单约束的方式使每个序列在序列的先例公式上定义一个唯一的线性顺序使我们能够定义许多有用的逻辑运算符。此外，部分订单约束提高了证明搜索的效率。
We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent allows us to define many useful logical operators. In addition, the partial order constraints improve the efficiency of proof search.
