The following pages link to Clausal Proofs and Discontinuity (Q4842280):
Displaying 4 items.
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- A Hypothetical Reasoning Algorithm for Linguistic Analysis (Q4286213) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
- A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency (Q4847370) (← links)