CatLog3

swMATH29641MaRDI QIDQ41355

No author found.

Described by source

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

Related Items (4)

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

This page was built for software: CatLog3