×

zbMATH — the first resource for mathematics

From categorial grammar to bilinear logic. (English) Zbl 0941.03518
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
PDF BibTeX XML Cite