×
Edit Profile (opens in new tab)

Buszkowski, Wojciech

Co-Author Distance
Author ID: buszkowski.wojciech Recent zbMATH articles by "Buszkowski, Wojciech"
Published as: Buszkowski, Wojciech; Buszkowski, W.
Documents Indexed: 67 Publications since 1978
1 Contribution as Editor · 1 Further Contribution
Co-Authors: 12 Co-Authors with 14 Joint Publications
282 Co-Co-Authors
all top 5

Co-Authors

55 single-authored
3 Orłowska, Ewa S.
2 Lin, Zhe
2 Moortgat, Michael
2 van Benthem, Johan F. A. K.
1 Bargelli, Daniele
1 Barr, Michael
1 Casadio, Claudia
1 de Groote, Philippe
1 Fadda, Mario
1 Farulewski, Maciej
1 Gillon, Brendan S.
1 Kandulski, Maciej
1 Keenan, Edward L.
1 Kołowska-Gawiejnowicz, Mirosława
1 Lambek, Joachim
1 Lecomte, Alain
1 Marciszewski, Witold
1 Moroz, Katarzyna
1 Morrill, Glyn V.
1 Oehrle, Richard T.
1 Palka, Ewa
1 Penn, Gerald
1 Pentus, Mati
1 Preller, Anne
1 Prucnal, Tadeusz
1 Scott, Philip J.
1 Seely, Robert A. G.
all top 5

Serials

9 Studia Logica
7 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
6 Bulletin of the Polish Academy of Sciences, Mathematics
3 Bulletin of the Section of Logic
3 Bulletin of the Section of Logic
2 Functiones et Approximatio. Commentarii Mathematici
2 Reports on Mathematical Logic
2 Journal of Logic, Language and Information
2 Mathematical Logic Quarterly (MLQ)
1 Journal of Computer and System Sciences
1 Theoretical Computer Science
1 Annales Societatis Mathematicae Polonae. Series IV
1 Journal of Logic and Computation
1 Logic Journal of the IGPL
1 Fundamenta Informaticae
1 Logic and Logical Philosophy
1 CSLI Lecture Notes
all top 5

Fields

62 Mathematical logic and foundations (03-XX)
27 Computer science (68-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
5 Group theory and generalizations (20-XX)
4 General algebraic systems (08-XX)
2 General and overarching topics; collections (00-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 History and biography (01-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

55 Publications have been cited 337 times in 189 Documents Cited by ▼ Year ▼
Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech
35
2001
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech
31
1986
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
19
1982
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
19
2011
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej
16
2009
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech
15
2007
Categorial grammars determined from linguistic data by unification. Zbl 0718.03020
Buszkowski, Wojciech; Penn, Gerald
15
1990
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
14
2005
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
14
1985
Categorial grammar. Zbl 0691.00002
13
1988
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech
12
1982
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa
10
2008
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech
9
2003
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech
9
1996
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech
9
1986
Solvable problems for classical categorial grammars. Zbl 0642.03022
Buszkowski, Wojciech
8
1987
Type logics in grammar. Zbl 1169.03342
Buszkowski, W.
8
2003
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech
6
2007
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech
6
2006
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech
6
1996
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech
6
2002
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech
6
2002
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech
4
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
4
1997
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
4
1986
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech
4
1988
On classical nonassociative Lambek calculus. Zbl 1480.03011
Buszkowski, Wojciech
4
2016
Presuppositional completeness. Zbl 0682.03016
Buszkowski, Wojciech
3
1989
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech
3
2004
Gaifman’s theorem on categorial grammars revisited. Zbl 0664.03025
Buszkowski, Wojciech
3
1988
Typed functorial languages. Zbl 0618.03012
Buszkowski, Wojciech
3
1986
On the logic of database dependencies. Zbl 0618.68078
Buszkowski, Wojciech; Orłowska, Ewa
3
1986
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
3
2017
Communication logic is an elementary theory. Zbl 0645.03024
Buszkowski, Wojciech
2
1987
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
An interpretation of full Lambek calculus in its variant without empty antecedents of sequents. Zbl 1291.03038
Buszkowski, Wojciech
2
2014
On generative capacity of the Lambek calculus. Zbl 0797.03027
Buszkowski, Wojciech
2
1991
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech
1
2008
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
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
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech
1
1986
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech
1
1985
Multi-sorted residuation. Zbl 1285.03013
Buszkowski, Wojciech
1
2014
A note on Lambek-van Benthem calculus. Zbl 0557.03017
Buszkowski, Wojciech
1
1984
Concerning the axioms of Ackermann’s set theory. Zbl 0564.03039
Buszkowski, Wojciech
1
1985
Relational models of Lambek logics. Zbl 1203.03029
Buszkowski, Wojciech
1
2003
Some syntactic interpretations in different systems of full Lambek calculus. Zbl 1429.03089
Buszkowski, Wojciech
1
2015
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech
1
2019
Pregroup grammars with letter promotions: complexity and context-freeness. Zbl 1250.68138
Buszkowski, Wojciech; Lin, Zhe; Moroz, Katarzyna
1
2012
Categorial grammars and their logics. Zbl 1522.03096
Buszkowski, Wojciech
1
2018
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech
1
2019
Categorial grammars and their logics. Zbl 1522.03096
Buszkowski, Wojciech
1
2018
Involutive nonassociative Lambek calculus: sequent systems and complexity. Zbl 1423.03065
Buszkowski, Wojciech
3
2017
On classical nonassociative Lambek calculus. Zbl 1480.03011
Buszkowski, Wojciech
4
2016
Some syntactic interpretations in different systems of full Lambek calculus. Zbl 1429.03089
Buszkowski, Wojciech
1
2015
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
Pregroup grammars with letter promotions: complexity and context-freeness. Zbl 1250.68138
Buszkowski, Wojciech; Lin, Zhe; Moroz, Katarzyna
1
2012
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
19
2011
Nonassociative Lambek calculus with additives and context-free languages. Zbl 1239.03016
Buszkowski, Wojciech; Farulewski, Maciej
16
2009
Infinitary action logic: complexity, models and grammars. Zbl 1209.03015
Buszkowski, Wojciech; Palka, Ewa
10
2008
On the complexity of some substructural logics. Zbl 1145.03011
Buszkowski, Wojciech
1
2008
On action logic: equational theories of action algebras. Zbl 1118.03013
Buszkowski, Wojciech
15
2007
Type logics and pregroups. Zbl 1134.03014
Buszkowski, Wojciech
6
2007
On the complexity of the equational theory of relational action algebras. Zbl 1135.68018
Buszkowski, Wojciech
6
2006
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
14
2005
A representation theorem for co-diagonalizable algebras. Zbl 1062.03063
Buszkowski, Wojciech
3
2004
Sequent systems for compact bilinear logic. Zbl 1036.03046
Buszkowski, Wojciech
9
2003
Type logics in grammar. Zbl 1169.03342
Buszkowski, W.
8
2003
Relational models of Lambek logics. Zbl 1203.03029
Buszkowski, Wojciech
1
2003
Pregroups: Models and grammars. Zbl 1027.68069
Buszkowski, Wojciech
6
2002
Finite models of some substructural logics. Zbl 0992.03029
Buszkowski, Wojciech
6
2002
Lambek grammars based on pregroups. Zbl 0990.03021
Buszkowski, Wojciech
35
2001
Algebraic structures in categorial grammar. Zbl 0902.68108
Buszkowski, Wojciech
4
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
4
1997
The finite model property for BCI and related systems. Zbl 0861.03020
Buszkowski, Wojciech
9
1996
Categorial grammars with negative information. Zbl 0983.03020
Buszkowski, Wojciech
6
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
13
1988
Three theories of categorial grammar. Zbl 0693.03012
Buszkowski, Wojciech
4
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
8
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
31
1986
Generative capacity of nonassociative Lambek calculus. Zbl 0618.03013
Buszkowski, Wojciech
9
1986
On the logic of database dependencies. Zbl 0603.68097
Buszkowski, W.; Orlowska, E.
4
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
3
1986
Strong generative capacity of classical categorial grammars. Zbl 0636.03020
Buszkowski, Wojciech
1
1986
Embedding Boolean structures into atomic Boolean structures. Zbl 0601.03025
Buszkowski, Wojciech
1
1986
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
14
1985
Algebraic models of categorial grammars. Zbl 0618.03010
Buszkowski, Wojciech
1
1985
Concerning the axioms of Ackermann’s set theory. Zbl 0564.03039
Buszkowski, Wojciech
1
1985
A note on Lambek-van Benthem calculus. Zbl 0557.03017
Buszkowski, Wojciech
1
1984
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
19
1982
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech
12
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 cited Publications top 5 cited Publications
all top 5

Cited by 152 Authors

22 Kuznetsov, Stepan L’vovich
15 Buszkowski, Wojciech
8 Kaminski, Michael
8 Kanovich, Max Iosifovich
8 Lambek, Joachim
8 Ščedrov, Andrej
7 Francez, Nissim
7 Lin, Zhe
7 Pentus, Mati
6 Béchet, Denis
6 Foret, Annie
5 Galatos, Nikolaos
5 Ma, Minghui
5 Morrill, Glyn V.
5 Sadrzadeh, Mehrnoosh
5 Wybraniec-Skardowska, Urszula B.
4 Casadio, Claudia
4 Jipsen, Peter
4 Pentus, Anna Evgen’evna
4 Preller, Anne
4 Valentín, Oriol
3 Chakraborty, Mihir Kumar
3 Dikovsky, Alexander Yakovlevich
3 Fulop, Sean A.
3 Kołowska-Gawiejnowicz, Mirosława
3 Orłowska, Ewa S.
3 Savateev, Yury
3 Wiśniewski, Andrzej
3 Wurm, Christian
2 Abrusci, Vito Michele
2 Blaisdell, Eben
2 Dekhtyar, Michael I.
2 Došen, Kosta
2 Genkin, Daniel
2 Haniková, Zuzana
2 Kiślak-Malinowska, Aleksandra
2 Kozak, Michał
2 Peterson, Clayton
2 Pimentel, Elaine
2 Pshenitsyn, Tikhon
2 Sedlár, Igor
2 Shkatov, Dmitry
2 Speranski, Stanislav O.
2 Tellier, Isabelle
2 van Alten, Clint J.
2 Venema, Yde
2 Wang, Yiheng
1 Aizikowitz, Tamar
1 Andréka, Hajnal
1 Atef, Mohammed
1 Besombes, Jérôme
1 Bonato, Roberto
1 Bulińska, Maria
1 Chvalovský, Karel
1 Coecke, Bob
1 Costa Florêncio, Christophe
1 Das, Anupam
1 de Felice, Giovanni
1 de Lacroix, Cédric
1 Debanth, Alok
1 Degeilh, Sylvain
1 Di Lavore, Elena
1 Dörre, Jochen
1 Dudau-Sofronie, Daniel
1 Düntsch, Ivo
1 Dziemidowicz-Gryz, Barbara
1 El Atik, Abd El Fattah A.
1 Ésik, Zoltán
1 Fadda, Mario
1 Farulewski, Maciej
1 Fazio, Davide
1 Fernau, Henning
1 Gabbay, Dov M.
1 Gallardo, Isis A.
1 Garel, Emmanuelle
1 Gil-Férez, José
1 Golińska-Pilarek, Joanna
1 Greco, Giuseppe
1 Grefenstette, Edward
1 Hedges, Jules
1 Hockenmaier, Julia
1 Holliday, Wesley H.
1 Horčík, Rostislav
1 Humberstone, Lloyd
1 Kandulski, Maciej
1 Karlov, Boris
1 Kartsaklis, Dimitrios
1 Kholodilov, F. D.
1 Kinyon, Michael K.
1 Knudstorp, Søren Brinck
1 König, Esther
1 Konstantinovskiy, B. O.
1 Läuchli, Hans
1 Ledda, Antonio
1 Liang, Fei
1 Litak, Tadeusz
1 MacCartney, Bill
1 Manning, Christopher D.
1 Marciniec, Jacek
1 Marciszewski, Witold
...and 52 more Authors
all top 5

Cited in 43 Serials

34 Studia Logica
22 Journal of Logic, Language and Information
6 Mathematical Logic Quarterly (MLQ)
5 Algebra Universalis
5 Theoretical Computer Science
5 Annals of Pure and Applied Logic
5 Journal of Applied Non-Classical Logics
4 The Journal of Symbolic Logic
4 Journal of Mathematical Sciences (New York)
4 The Review of Symbolic Logic
3 Journal of Philosophical Logic
3 Bulletin of the Section of Logic
3 Information and Computation
2 Moscow University Mathematics Bulletin
2 Journal of Computer and System Sciences
2 Synthese
2 Mathematical Structures in Computer Science
2 Journal of Applied Logic
2 Proceedings of the Steklov Institute of Mathematics
1 Information Processing Letters
1 Mathematical Methods in the Applied Sciences
1 The Mathematical Intelligencer
1 Algebra and Logic
1 Information Sciences
1 Journal of Algebra
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Transactions of the American Mathematical Society
1 History and Philosophy of Logic
1 Applied Categorical Structures
1 Diagrammes
1 Izvestiya: Mathematics
1 Theory of Computing Systems
1 Soft Computing
1 RAIRO. Theoretical Informatics and Applications
1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic
1 Computational Linguistics
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Logical Methods in Computer Science
1 ISRN Applied Mathematics
1 Annales de l’Institut Henri Poincaré D. Combinatorics, Physics and their Interactions
all top 5

Cited in 15 Fields

161 Mathematical logic and foundations (03-XX)
83 Computer science (68-XX)
17 Order, lattices, ordered algebraic structures (06-XX)
11 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Associative rings and algebras (16-XX)
5 Category theory; homological algebra (18-XX)
3 History and biography (01-XX)
2 General algebraic systems (08-XX)
2 Group theory and generalizations (20-XX)
1 Combinatorics (05-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 General topology (54-XX)
1 Quantum theory (81-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)

Citations by Year