CatLog3

MaRDI QIDQ41355swMATHFDO

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
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Grail
• LinearOne
• Lolli
• Natural language semantics and computability
• Non-associative, non-commutative multi-modal linear logic

This page was built for software: CatLog3