The following pages link to Wojciech Buszkowski (Q935017):
Displayed 50 items.
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Gaifman's theorem on categorial grammars revisited (Q1115429) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus (Q1252223) (← links)
- Undecidability of the theory of lattice-orderable groups (Q1258295) (← links)
- Divisibility in abstract algebras (Q1259615) (← links)
- Pregroup grammars with letter promotions: complexity and context-freeness (Q1757847) (← links)
- Presuppositional completeness (Q1823929) (← links)
- Editorial introduction to the special issue on: The Lambeck calculus in logic and lingustics (Q1850948) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Editorial introduction to the special issue on categorial grammars and pregroups (Q2467211) (← links)
- Type logics and pregroups (Q2467212) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
- Categorial grammars determined from linguistic data by unification (Q2639050) (← links)
- (Q2702281) (← links)
- Grammatical structures and logical deductions (Q2730950) (← links)
- (Q2751052) (← links)
- (Q2776810) (← links)
- Interpolation and FEP for logics of residuated algebras (Q2885171) (← links)
- (Q2915821) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- (Q3035259) (← links)
- (Q3222164) (← links)
- (Q3222170) (← links)
- (Q3222171) (← links)
- (Q3425573) (← links)
- On Action Logic: Equational Theories of Action Algebras (Q3437263) (← links)
- (Q3505074) (← links)
- Pregroup Grammars with Letter Promotions (Q3564855) (← links)
- Nonassociative Lambek Calculus with Additives and Context-Free Languages (Q3630172) (← links)
- Concerning the Axioms of Ackermann's Set Theory (Q3677757) (← links)
- Completeness Results for Lambek Syntactic Calculus (Q3724306) (← links)
- Embedding Boolean Structures into Atomic Boolean Structures (Q3735705) (← links)
- (Q3740278) (← links)
- (Q3754602) (← links)
- (Q3754603) (← links)
- (Q3754604) (← links)
- (Q3754605) (← links)
- (Q3775529) (← links)
- (Q3783276) (← links)
- (Q3787984) (← links)
- (Q3830983) (← links)
- (Q3832544) (← links)
- Logical Complexity of Some Classes of Tree Languages Generated by Multiple‐Tree‐Automata (Q3869336) (← links)
- Compatibility of a Categorial Grammar With an Associated Category System (Q3964531) (← links)
- Some Decision Problems in the Theory of Syntactic Categories (Q3964532) (← links)
- (Q4287492) (← links)
- (Q4353914) (← links)
- (Q4415069) (← links)