The following pages link to Wojciech Zielonka (Q209452):
Displayed 16 items.
- Decidability of free categorial grammars (Q1158769) (← links)
- A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars (Q1249167) (← links)
- Cut-rule axiomatization of the syntactic calculus \(NL_0\) (Q1582323) (← links)
- On reduction systems equivalent to the Lambek calculus with the empty string (Q1611249) (← links)
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi (Q1825185) (← links)
- Linear axiomatics of commutative product-free Lambek calculus (Q2277257) (← links)
- Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String (Q3030800) (← links)
- On the directional Lambek calculus (Q3577908) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- (Q3726091) (← links)
- (Q3863857) (← links)
- Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes (Q3919680) (← links)
- INTERDEFINABILITY OF LAMBEKIAN FUNCTORS (Q4295248) (← links)
- (Q4903948) (← links)
- On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String (Q5432673) (← links)
- Cut-rule axiomatization of the syntactic calculus \(L_0\) (Q5946341) (← links)