|
|||||
|
|
Logic and Grammar |
|
| Authors: | Joachim Lambek |
| Affiliation: | 1. Department of Mathematics and Statistics, McGill University, 805 Sherbrooke Street West, Montreal, Canada |
| Abstract: | Grammar can be formulated as a kind of substructural propositional logic. In support of this claim, we survey bare Gentzen style deductive systems and two kinds of non-commutative linear logic: intuitionistic and compact bilinear logic. We also glance at their categorical refinements. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |