The following pages link to Wojciech Buszkowski (Q935017):
Displayed 17 items.
- Sequent systems for compact bilinear logic (Q4434501) (← links)
- (Q4453209) (← links)
- (Q4463937) (← links)
- (Q4489062) (← links)
- (Q4547844) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- (Q4728270) (← links)
- (Q4820590) (← links)
- An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents (Q4981266) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars (Q5184422) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- (Q5283974) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- On the Complexity of the Equational Theory of Relational Action Algebras (Q5459176) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902055) (← links)