Pages that link to "Item:Q2425322"

The following pages link to Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322):

Displaying 5 items.

• CatLog3 (Q41355) (← links)
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
• Natural language semantics and computability (Q2425328) (← links)
• Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)