CATEGORIAL GRAMMAR AND TYPE THEORY

被引：4

作者：

VANBENTHEM, J

机构：

[1] Faculty of Mathematics and Computer Science, University of Amsterdam, Amsterdam, 1018 TV

来源：

关键词：

D O I：

10.1007/BF00263539

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

[No abstract available]

引用

页码：115 / 168

页数：54

共 77 条

[1] ON THE ORDER OF WORDS [J].

ADES, AE ;

STEEDMAN, MJ .

[2] THE SEMANTICS AND PROOF THEORY OF LINEAR LOGIC [J].

AVRON, A .

[3]

Bach Emmon, 1984, VARIETIES FORMAL SEM, P1

[4]

BARTSCH R, IN PRESS MEANING CON

[5]

BAUERLE R, 1983, MEANING USE INTERPRE

[6]

BODNAR I, 1988, ANN LORAND EOTVOS U

[7]

BODNAR I, 1988, FILOZOFIAI FIGYELO K

[8]

BOUMA G, 1987, FLEXIBLE PHRASE STRU

[9]

BVUSZKOWSKI W, 1986, Z MATH LOGIK GRUNDLA, V32, P13

[10]

BVUSZKOWSKI W, 1988, CATEGORIAL GRAMMARS, P69