×

zbMATH — the first resource for mathematics

Buszkowski, Wojciech

Compute Distance To:
Author ID: buszkowski.wojciech Recent zbMATH articles by "Buszkowski, Wojciech"
Published as: Buszkowski, Wojciech; Buszkowski, W.
Documents Indexed: 67 Publications since 1978, including 1 Book

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 249 times in 139 Documents Cited by Year
Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech
28
2001
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech
27
1986
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
15
1982
Categorial grammars determined from linguistic data by unification. Zbl 0718.03020
Buszkowski, Wojciech; Penn, Gerald
15
1990
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
12
2011
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
11
1985
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej
11
2009
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech
10
1982
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech
9
1986
Type logics in grammar. Zbl 1169.03342
Buszkowski, W.
8
2003
Categorial grammar. Zbl 0691.00002
Buszkowski, Wojciech (ed.); Marciszewski, Witold (ed.); van Benthem, Johan (ed.)
8
1988
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech
7
1996
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech
7
2003
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech
6
2007
Solvable problems for classical categorial grammars. Zbl 0642.03022
Buszkowski, Wojciech
6
1987
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech
6
2002
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech
5
2007
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech
5
2002
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech
4
1996
Typed functorial languages. Zbl 0618.03012
Buszkowski, Wojciech
3
1986
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech
3
1988
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa
3
2008
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława
3
1997
Gaifman’s theorem on categorial grammars revisited. Zbl 0664.03025
Buszkowski, Wojciech
3
1988
Presuppositional completeness. Zbl 0682.03016
Buszkowski, Wojciech
3
1989
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech
3
1998
Extending Lambek grammars to basic categorial grammars. Zbl 0855.03015
Buszkowski, Wojciech
2
1996
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa
2
1986
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
2
2017
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents. Zbl 1291.03038
Buszkowski, Wojciech
2
2014
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech
2
1996
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
2
1986
Communication logic is an elementary theory. Zbl 0645.03024
Buszkowski, Wojciech
2
1987
On generative capacity of the Lambek calculus. Zbl 0797.03027
Buszkowski, Wojciech
2
1991
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech
1
1985
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech
1
2006
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech
1
2008
Multi-sorted residuation. Zbl 1285.03013
Buszkowski, Wojciech
1
2014
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech
1
1986
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech
1
1986
Second-order communication logic. Zbl 0677.03020
Buszkowski, Wojciech
1
1988
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus. Zbl 0394.03018
Buszkowski, Wojciech
1
1978
Undecidability of the theory of lattice-orderable groups. Zbl 0408.03010
Buszkowski, Wojciech
1
1979
Logical complexity of some classes of tree languages generated by multiple-tree-automata. Zbl 0432.03024
Buszkowski, Wojciech
1
1980
The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs. Zbl 0966.03027
Buszkowski, Wojciech
1
1998
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech
1
2004
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
2
2017
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents. Zbl 1291.03038
Buszkowski, Wojciech
2
2014
Multi-sorted residuation. Zbl 1285.03013
Buszkowski, Wojciech
1
2014
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
12
2011
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej
11
2009
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa
3
2008
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech
1
2008
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech
6
2007
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech
5
2007
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech
1
2006
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech
1
2004
Type logics in grammar. Zbl 1169.03342
Buszkowski, W.
8
2003
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech
7
2003
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech
6
2002
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech
5
2002
Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech
28
2001
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech
3
1998
The Ajdukiewicz calculus, Polish notation and Hilbert-style proofs. Zbl 0966.03027
Buszkowski, Wojciech
1
1998
Representation of residuated semigroups in some algebras of relations (the method of canonical models). Zbl 0876.03036
Buszkowski, Wojciech; Kołowska-Gawiejnowicz, Mirosława
3
1997
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech
7
1996
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech
4
1996
Extending Lambek grammars to basic categorial grammars. Zbl 0855.03015
Buszkowski, Wojciech
2
1996
Representation theorems for implication structures. Zbl 0881.03042
Buszkowski, Wojciech
2
1996
On generative capacity of the Lambek calculus. Zbl 0797.03027
Buszkowski, Wojciech
2
1991
Categorial grammars determined from linguistic data by unification. Zbl 0718.03020
Buszkowski, Wojciech; Penn, Gerald
15
1990
Presuppositional completeness. Zbl 0682.03016
Buszkowski, Wojciech
3
1989
Categorial grammar. Zbl 0691.00002
Buszkowski, Wojciech; Marciszewski, Witold; van Benthem, Johan
8
1988
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech
3
1988
Gaifman’s theorem on categorial grammars revisited. Zbl 0664.03025
Buszkowski, Wojciech
3
1988
Second-order communication logic. Zbl 0677.03020
Buszkowski, Wojciech
1
1988
Solvable problems for classical categorial grammars. Zbl 0642.03022
Buszkowski, Wojciech
6
1987
Communication logic is an elementary theory. Zbl 0645.03024
Buszkowski, Wojciech
2
1987
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech
27
1986
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech
9
1986
Typed functorial languages. Zbl 0618.03012
Buszkowski, Wojciech
3
1986
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa
2
1986
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
2
1986
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech
1
1986
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech
1
1986
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
11
1985
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech
1
1985
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
15
1982
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech
10
1982
Logical complexity of some classes of tree languages generated by multiple-tree-automata. Zbl 0432.03024
Buszkowski, Wojciech
1
1980
Undecidability of the theory of lattice-orderable groups. Zbl 0408.03010
Buszkowski, Wojciech
1
1979
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus. Zbl 0394.03018
Buszkowski, Wojciech
1
1978
all top 5

Cited by 101 Authors

14 Buszkowski, Wojciech
10 Kuznetsov, Stepan L’vovich
8 Lambek, Joachim
7 Francez, Nissim
7 Kaminsky, Michael
7 Pentus, Mati
5 Béchet, Denis
5 Foret, Annie
5 Kanovich, Max Iosifovich
5 Morrill, Glyn V.
5 Scedrov, Andre
4 Casadio, Claudia
4 Galatos, Nikolaos
4 Pentus, A. E.
4 Preller, Anne
4 Sadrzadeh, Mehrnoosh
4 Valentín, Oriol
4 Wybraniec-Skardowska, Urszula
3 Fulop, Sean A.
3 Jipsen, Peter
3 Kołowska-Gawiejnowicz, Mirosława
3 Wiśniewski, Andrzej
3 Wurm, Christian
2 Abrusci, Vito Michele
2 Došen, Kosta
2 Genkin, Daniel
2 Haniková, Zuzana
2 Kiślak-Malinowska, Aleksandra
2 Kozak, Michał
2 Lin, Zhe
2 Orłowska, Ewa S.
2 Peterson, Clayton
2 Savateev, Yury
2 Tellier, Isabelle
2 Venema, Yde
1 Aizikowitz, Tamar
1 Andréka, Hajnal
1 Besombes, Jérôme
1 Bonato, Roberto
1 Bulińska, Maria
1 Chvalovský, Karel
1 Coecke, Bob
1 Costa Florêncio, Christophe
1 Degeilh, Sylvain
1 Dörre, Jochen
1 Dudau-Sofronie, Daniel
1 Dziemidowicz-Gryz, Barbara
1 Fadda, Mario
1 Farulewski, Maciej
1 Fernau, Henning
1 Gabbay, Dov M.
1 Gil-Férez, José
1 Grefenstette, Edward
1 Hedges, Jules
1 Hockenmaier, Julia
1 Holliday, Wesley H.
1 Horčík, Rostislav
1 Humberstone, Lloyd
1 Kandulski, Maciej
1 Kartsaklis, Dimitrios
1 Kinyon, Michael K.
1 König, Esther
1 Läuchli, Hans
1 Litak, Tadeusz
1 Ma, Minghui
1 Marciniec, Jacek
1 Marion, Jean-Yves
1 Mikulás, Szabolcs
1 Moortgat, Michael
1 Moroz, Katarzyna
1 Nigam, Vivek
1 Okada, Mitsuhiro
1 Ono, Hiroakira
1 Palka, Ewa
1 Pankrat’ev, Nikolai
1 Penn, Gerald
1 Petrov, Sergey V.
1 Płaczek, Paweł
1 Plummer, Andrew R.
1 Přenosil, Adam
1 Raftery, James G.
1 Ramgoolam, Sanjaye
1 Remeslennikov, Vladimir Nikanorovich
1 Retoré, Christian
1 Roman’kov, Vitaly Anatol’evich
1 Ryzhkova, N. S.
1 Sánchez Valencia, Víctor
1 Savateev, Yu. V.
1 Savioz, Christian
1 Sequoiah-Grayson, Sebastian
1 Shkatov, Dmitry
1 Spada, Luca
1 Steedman, Mark
1 Terui, Kazushige
1 Tsinakis, Constantine
1 van Alten, Clint J.
1 van Benthem, Johan F. A. K.
1 Vetterlein, Thomas
1 Wang, Sanmin
1 Zhou, Hongjun
...and 1 more Authors

Citations by Year