From categorial grammar to bilinear logic. (English) Zbl 0941.03518

Lambek, Joachim

Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 207-237 (1994).

See the review of the entire collection in Zbl 0811.68056.
For the entire collection see [Zbl 0811.68056].

MSC:

03B47	Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F05	Cut-elimination and normal-form theorems
03G15	Cylindric and polyadic algebras; relation algebras

Keywords:

survey; syntactic calculus; logic without structural rules; noncommutative linear logic; categorial grammar; substructural logic; linear logic; bilinear logic; cut elemination; residuated monoid models; relational algebra

Citations:

Zbl 0811.68056