Grail

swMATH24229MaRDI QIDQ35990FDOQ35990

Author name not available (Why is that?)

Cited In (7)

• Subexponentials in non-commutative linear logic
• A Categorial Type Logic
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
• Natural language semantics and computability
• Non-associative, non-commutative multi-modal linear logic

This page was built for software: Grail