Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata. - Wojciech Buszkowski (Math. Log. Q., 1980)

Compatibility of a Categorial Grammar With an Associated Category System. - Wojciech Buszkowski (Math. Log. Q., 1982)

Some Decision Problems in the Theory of Syntactic Categories. - Wojciech Buszkowski (Math. Log. Q., 1982)

Concerning the Axioms of Ackermann's Set Theory. - Wojciech Buszkowski (Math. Log. Q., 1985)

The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars. - Wojciech Buszkowski (Math. Log. Q., 1985)

Completeness Results for Lambek Syntactic Calculus. - Wojciech Buszkowski (Math. Log. Q., 1986)

Embedding Boolean Structures into Atomic Boolean Structures. - Wojciech Buszkowski (Math. Log. Q., 1986)

Gaifman's theorem on categorial grammars revisited. - Wojciech Buszkowski (Stud Logica, 1988)

Presuppositional completeness. - Wojciech Buszkowski (Stud Logica, 1989)

On Generative Capacity of the Lambek Calculus. - Wojciech Buszkowski (JELIA, 1990)

Categorial grammars determined from linguistic data by unification. - Wojciech Buszkowski; Gerald Penn (Stud Logica, 1990)

Extending Lambek Grammars to Basic Categorial Grammars. - Wojciech Buszkowski (J. Log. Lang. Inf., 1996)

The finite model property for BCI. - Wojciech Buszkowski (Stud Logica, 1996)

Mathematical Linguistics and Proof Theory. - Wojciech Buszkowski (Handbook of Logic and Language, 1997)

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models). - Wojciech Buszkowski; Miroslawa Kolowska-Gawiejnowics (Fundam. Informaticae, 1997)

More on embeddings of residuated semigroups into algebras of binary relations. - Wojciech Buszkowski (RelMiCS, 1998)

Approximation Spaces and Definability for Incomplete Information Systems. - Wojciech Buszkowski (Rough Sets and Current Trends in Computing, 1998)

Algebraic Structures in Categorial Grammar. - Wojciech Buszkowski (Theor. Comput. Sci., 1998)

Pregroups: Models and Grammars. - Wojciech Buszkowski (RelMiCS, 2001)

Lambek Grammars Based on Pregroups. - Wojciech Buszkowski (LACL, 2001)

Finite Models of Some Substructural Logics. - Wojciech Buszkowski (Math. Log. Q., 2002)

Editorial Introduction. - Wojciech Buszkowski; Michael Moortgat (Stud Logica, 2002)

Relational Models of Lambek Logics. - Wojciech Buszkowski (Theory and Applications of Relational Structures as Knowledge Instruments, 2003)

Syntactic Calculus and Pregroups. - Wojciech Buszkowski (Grammars and Automata for String Processing, 2003)

Sequent systems for compact bilinear logic. - Wojciech Buszkowski (Math. Log. Q., 2003)

A Representation Theorem for Co-diagonalizable Algebras. - Wojciech Buszkowski (Reports Math. Log., 2004)

On the Complexity of the Equational Theory of Relational Action Algebras. - Wojciech Buszkowski (RelMiCS, 2006)

Rough Sets and Learning by Unification. - Wojciech Buszkowski (Fundam. Informaticae, 2007)

On Action Logic: Equational Theories of Action Algebras. - Wojciech Buszkowski (J. Log. Comput., 2007)

Type Logics and Pregroups. - Wojciech Buszkowski (Stud Logica, 2007)

Editorial Introduction. - Wojciech Buszkowski; Anne Preller (Stud Logica, 2007)

On the complexsity of some substructural logics. - Wojciech Buszkowski (Reports Math. Log., 2008)

Infinitary Action Logic: Complexity, Models and Grammars. - Wojciech Buszkowski; Ewa Palka (Stud Logica, 2008)

Nonassociative Lambek Calculus with Additives and Context-Free Languages. - Wojciech Buszkowski; Maciej Farulewski (Languages: From Formal to Natural, 2009)

Pregroup Grammars with Letter Promotions. - Wojciech Buszkowski; Zhe Lin 002 (LATA, 2010)

Interpolation and FEP for logics of residuated algebras. - Wojciech Buszkowski (Log. J. IGPL, 2011)

Pregroup grammars with letter promotions: Complexity and context-freeness. - Wojciech Buszkowski; Zhe Lin 002; Katarzyna Moroz (J. Comput. Syst. Sci., 2012)

Multi-Sorted Residuation. - Wojciech Buszkowski (Categories and Types in Logic, Language, and Physics, 2014)

An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. - Wojciech Buszkowski (LACL, 2014)

On Classical Nonassociative Lambek Calculus. - Wojciech Buszkowski (LACL, 2016)

On Involutive Nonassociative Lambek Calculus. - Wojciech Buszkowski (J. Log. Lang. Inf., 2019)