Wojciech Buszkowski

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