A rule-extension of the non-associative Lambek calculus

被引：3
|
作者：
Wansing H. [1 ]
机构：
[1] Dresden University of Technology, Institute of Philosophy
来源：
Studia Logica | 2002年 / 71卷 / 3期
关键词：
Categorial Grammar; Coimplication; Lambek Calculus;
D O I：
10.1023/A:1020529116833
中图分类号：
学科分类号：
摘要：
An extension L+ of the non-associative Lambek calculus L is defined. In L+ the restriction to formula-conclusion sequents is given up, and additional left introduction rules for the directional implications are introduced. The system L+ is sound and complete with respect to a modification of the ternary frame semantics for L. © 2002 Kluwer Academic Publishers.
引用
收藏
页码：443 / 451
页数：8
相关论文
共 50 条
12345