CatLog3

swMATH29641MaRDI QIDQ41355FDOQ41355

Author name not available (Why is that?)

Described by source

• Parsing/theorem-proving for logical grammar \textit{CatLog3}

Cited In (4)

• Subexponentials in non-commutative linear logic
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Natural language semantics and computability
• Non-associative, non-commutative multi-modal linear logic

This page was built for software: CatLog3