Wojciech Buszkowski

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 2

Top Topics

Automated Deduction

Formal Language

Sequent Calculus

Top Venues

J. Comput. Syst. Sci.

J. Log. Lang. Inf.

Categories and Types in Logic, Language, and Physics

Publications

Wojciech Buszkowski
On Involutive Nonassociative Lambek Calculus. J. Log. Lang. Inf. 28 (2) (2019)
Wojciech Buszkowski
On Classical Nonassociative Lambek Calculus. LACL (2016)
Wojciech Buszkowski
Multi-Sorted Residuation. Categories and Types in Logic, Language, and Physics (2014)
Wojciech Buszkowski
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. LACL (2014)
Wojciech Buszkowski, Zhe Lin, Katarzyna Moroz
Pregroup grammars with letter promotions: Complexity and context-freeness. J. Comput. Syst. Sci. 78 (6) (2012)
Wojciech Buszkowski
Interpolation and FEP for logics of residuated algebras. Log. J. IGPL 19 (3) (2011)
Wojciech Buszkowski, Zhe Lin
Pregroup Grammars with Letter Promotions. LATA (2010)
Wojciech Buszkowski, Maciej Farulewski
Nonassociative Lambek Calculus with Additives and Context-Free Languages. Languages: From Formal to Natural (2009)
Wojciech Buszkowski
On the complexsity of some substructural logics. Reports Math. Log. 43 (2008)
Wojciech Buszkowski, Ewa Palka
Infinitary Action Logic: Complexity, Models and Grammars. Stud Logica 89 (1) (2008)
Wojciech Buszkowski
Rough Sets and Learning by Unification. Fundam. Informaticae 75 (1-4) (2007)
Wojciech Buszkowski
On Action Logic: Equational Theories of Action Algebras. J. Log. Comput. 17 (1) (2007)
Wojciech Buszkowski, Anne Preller
Editorial Introduction. Stud Logica 87 (2-3) (2007)
Wojciech Buszkowski
Type Logics and Pregroups. Stud Logica 87 (2-3) (2007)
Wojciech Buszkowski
On the Complexity of the Equational Theory of Relational Action Algebras. RelMiCS (2006)
Wojciech Buszkowski
A Representation Theorem for Co-diagonalizable Algebras. Reports Math. Log. 38 (2004)
Wojciech Buszkowski
Sequent systems for compact bilinear logic. Math. Log. Q. 49 (5) (2003)
Wojciech Buszkowski
Syntactic Calculus and Pregroups. Grammars and Automata for String Processing (2003)
Wojciech Buszkowski, Michael Moortgat
Editorial Introduction. Stud Logica 71 (3) (2002)
Wojciech Buszkowski
Finite Models of Some Substructural Logics. Math. Log. Q. 48 (1) (2002)
Wojciech Buszkowski
Pregroups: Models and Grammars. RelMiCS (2001)
Wojciech Buszkowski
Lambek Grammars Based on Pregroups. LACL (2001)
Wojciech Buszkowski
More on embeddings of residuated semigroups into algebras of binary relations. RelMiCS (1998)
Wojciech Buszkowski
Approximation Spaces and Definability for Incomplete Information Systems. Rough Sets and Current Trends in Computing (1998)
Wojciech Buszkowski
Algebraic Structures in Categorial Grammar. Theor. Comput. Sci. 199 (1-2) (1998)
Wojciech Buszkowski, Miroslawa Kolowska-Gawiejnowics
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models). Fundam. Informaticae 31 (1) (1997)
Wojciech Buszkowski
Extending Lambek Grammars to Basic Categorial Grammars. J. Log. Lang. Inf. 5 (3/4) (1996)
Wojciech Buszkowski
The finite model property for BCI. Stud Logica 57 (2/3) (1996)
Wojciech Buszkowski
On Generative Capacity of the Lambek Calculus. JELIA (1990)
Wojciech Buszkowski, Gerald Penn
Categorial grammars determined from linguistic data by unification. Stud Logica 49 (4) (1990)
Wojciech Buszkowski
Presuppositional completeness. Stud Logica 48 (1) (1989)
Wojciech Buszkowski
Gaifman's theorem on categorial grammars revisited. Stud Logica 47 (1) (1988)
Wojciech Buszkowski
Embedding Boolean Structures into Atomic Boolean Structures. Math. Log. Q. 32 (13-16) (1986)
Wojciech Buszkowski
Completeness Results for Lambek Syntactic Calculus. Math. Log. Q. 32 (1-5) (1986)
Wojciech Buszkowski
The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars. Math. Log. Q. 31 (24) (1985)
Wojciech Buszkowski
Concerning the Axioms of Ackermann's Set Theory. Math. Log. Q. 31 (1-6) (1985)
Wojciech Buszkowski
Compatibility of a Categorial Grammar With an Associated Category System. Math. Log. Q. 28 (14-18) (1982)
Wojciech Buszkowski
Some Decision Problems in the Theory of Syntactic Categories. Math. Log. Q. 28 (33-38) (1982)
Wojciech Buszkowski
Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata. Math. Log. Q. 26 (1-6) (1980)