CatLog3

swMATH29641MaRDI QIDQ41355FDOQ41355

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007/s10849-018-09277-w

Described by source

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

Cited In (7)

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

This page was built for software: CatLog3