Pages that link to "Item:Q2425322"
From MaRDI portal
The following pages link to Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322):
Displaying 8 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)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- (Q4511316) (← links)
- Clausal Proofs and Discontinuity (Q4842280) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)