2008 |
21 | EE | Wojciech Buszkowski,
Ewa Palka:
Infinitary Action Logic: Complexity, Models and Grammars.
Studia Logica 89(1): 1-18 (2008) |
2007 |
20 | EE | Wojciech Buszkowski:
Rough Sets and Learning by Unification.
Fundam. Inform. 75(1-4): 107-121 (2007) |
19 | EE | Wojciech Buszkowski:
On Action Logic: Equational Theories of Action Algebras.
J. Log. Comput. 17(1): 199-217 (2007) |
18 | EE | Wojciech Buszkowski,
Anne Preller:
Editorial Introduction.
Studia Logica 87(2-3): 139-144 (2007) |
17 | EE | Wojciech Buszkowski:
Type Logics and Pregroups.
Studia Logica 87(2-3): 145-169 (2007) |
2006 |
16 | EE | Wojciech Buszkowski:
On the Complexity of the Equational Theory of Relational Action Algebras.
RelMiCS 2006: 106-119 |
2004 |
15 | EE | Wojciech Buszkowski:
A Representation Theorem for Co-diagonalizable Algebras.
Reports on Mathematical Logic 38: 13-22 (2004) |
2003 |
14 | | Wojciech Buszkowski:
Syntactic Calculus and Pregroups.
Grammars and Automata for String Processing 2003: 203-214 |
13 | EE | Wojciech Buszkowski:
Relational Models of Lambek Logics.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 196-213 |
12 | EE | Wojciech Buszkowski:
Sequent systems for compact bilinear logic.
Math. Log. Q. 49(5): 467-474 (2003) |
2002 |
11 | EE | Wojciech Buszkowski:
Finite Models of Some Substructural Logics.
Math. Log. Q. 48(1): 63-72 (2002) |
10 | | Wojciech Buszkowski,
Michael Moortgat:
Editorial Introduction.
Studia Logica 71(3): 261-275 (2002) |
2001 |
9 | EE | Wojciech Buszkowski:
Lambek Grammars Based on Pregroups.
LACL 2001: 95-109 |
8 | EE | Wojciech Buszkowski:
Pregroups: Models and Grammars.
RelMiCS 2001: 35-49 |
1998 |
7 | | Wojciech Buszkowski:
More on embeddings of residuated semigroups into algebras of binary relations.
RelMiCS 1998: 33-36 |
6 | EE | Wojciech Buszkowski:
Approximation Spaces and Definability for Incomplete Information Systems.
Rough Sets and Current Trends in Computing 1998: 115-122 |
5 | EE | Wojciech Buszkowski:
Algebraic Structures in Categorial Grammar.
Theor. Comput. Sci. 199(1-2): 5-24 (1998) |
1997 |
4 | | Wojciech Buszkowski,
Miroslawa Kolowska-Gawiejnowics:
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models).
Fundam. Inform. 31(1): 1-12 (1997) |
1996 |
3 | | Wojciech Buszkowski:
Extending Lambek Grammars to Basic Categorial Grammars.
Journal of Logic, Language and Information 5(3/4): 279-295 (1996) |
2 | | Wojciech Buszkowski:
The finite model property for BCI.
Studia Logica 57(2/3): 303-323 (1996) |
1990 |
1 | | Wojciech Buszkowski:
On Generative Capacity of the Lambek Calculus.
JELIA 1990: 139-152 |