Pages that link to "Item:Q3919680"
From MaRDI portal
The following pages link to Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes (Q3919680):
Displaying 7 items.
- A polynomial algorithm for the membership problem with categorial grammars (Q671431) (← links)
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi (Q1825185) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- Linear axiomatics of commutative product-free Lambek calculus (Q2277257) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
