Classical non-associative Lambek calculus

被引：18
|
作者：
De Groote P. [1 ]
Lamarche F. [1 ]
机构：
[1] Projet Calligramme, LORIA UMR no 7503 - INRIA, Campus Scientifique, 54506 Vandœuvre lès Nancy Cedex
来源：
Studia Logica | 2002年 / 71卷 / 3期
关键词：
Linear logic; Non-associative Lambek calculus; Proof-net;
D O I：
10.1023/A:1020520915016
中图分类号：
学科分类号：
摘要：
We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial. © 2002 Kluwer Academic Publishers.
引用
收藏
页码：355 / 388
页数：33
相关论文
共 50 条
12345