Buszkowski, Wojciech Extensions of Lambek calculi. (English) Zbl 1500.03008 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 105-134 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B47 03F52 PDFBibTeX XMLCite \textit{W. Buszkowski}, Outst. Contrib. Log. 20, 105--134 (2021; Zbl 1500.03008) Full Text: DOI
Buszkowski, Wojciech On involutive nonassociative Lambek calculus. (English) Zbl 1477.03063 J. Logic Lang. Inf. 28, No. 2, 157-181 (2019). MSC: 03B47 03F52 PDFBibTeX XMLCite \textit{W. Buszkowski}, J. Logic Lang. Inf. 28, No. 2, 157--181 (2019; Zbl 1477.03063) Full Text: DOI
Buszkowski, Wojciech Categorial grammars and their logics. (English) Zbl 1522.03096 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 91-115 (2018). MSC: 03B65 03B47 PDFBibTeX XMLCite \textit{W. Buszkowski}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 91--115 (2018; Zbl 1522.03096) Full Text: DOI
Buszkowski, Wojciech Involutive nonassociative Lambek calculus: sequent systems and complexity. (English) Zbl 1423.03065 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 75-91 (2017). MSC: 03B47 03F03 03F05 03F52 03F20 68Q17 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 75--91 (2017; Zbl 1423.03065) Full Text: DOI
Buszkowski, Wojciech On classical nonassociative Lambek calculus. (English) Zbl 1480.03011 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 68-84 (2016). MSC: 03B47 03B65 PDFBibTeX XMLCite \textit{W. Buszkowski}, Lect. Notes Comput. Sci. 10054, 68--84 (2016; Zbl 1480.03011) Full Text: DOI
Buszkowski, Wojciech Some syntactic interpretations in different systems of full Lambek calculus. (English) Zbl 1429.03089 Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 23-48 (2015). MSC: 03B47 03F25 03F52 PDFBibTeX XMLCite \textit{W. Buszkowski}, in: Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. 23--48 (2015; Zbl 1429.03089) Full Text: DOI
Buszkowski, Wojciech Multi-sorted residuation. (English) Zbl 1285.03013 Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 136-155 (2014). MSC: 03B47 03G25 PDFBibTeX XMLCite \textit{W. Buszkowski}, Lect. Notes Comput. Sci. 8222, 136--155 (2014; Zbl 1285.03013) Full Text: DOI
Buszkowski, Wojciech; Lin, Zhe; Moroz, Katarzyna Pregroup grammars with letter promotions: complexity and context-freeness. (English) Zbl 1250.68138 J. Comput. Syst. Sci. 78, No. 6, 1899-1909 (2012). MSC: 68Q42 68Q17 68R10 68Q15 68Q45 PDFBibTeX XMLCite \textit{W. Buszkowski} et al., J. Comput. Syst. Sci. 78, No. 6, 1899--1909 (2012; Zbl 1250.68138) Full Text: DOI
Buszkowski, Wojciech; Palka, Ewa Infinitary action logic: complexity, models and grammars. (English) Zbl 1209.03015 Stud. Log. 89, No. 1, 1-18 (2008). MSC: 03B47 03B65 03G15 68Q70 PDFBibTeX XMLCite \textit{W. Buszkowski} and \textit{E. Palka}, Stud. Log. 89, No. 1, 1--18 (2008; Zbl 1209.03015) Full Text: DOI
Buszkowski, Wojciech Type logics and pregroups. (English) Zbl 1134.03014 Stud. Log. 87, No. 2-3, 145-169 (2007). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03B65 03F05 PDFBibTeX XMLCite \textit{W. Buszkowski}, Stud. Log. 87, No. 2--3, 145--169 (2007; Zbl 1134.03014) Full Text: DOI
Buszkowski, Wojciech Algebraic structures in categorial grammar. (English) Zbl 0902.68108 Theor. Comput. Sci. 199, No. 1-2, 5-24 (1998). MSC: 68Q42 PDFBibTeX XMLCite \textit{W. Buszkowski}, Theor. Comput. Sci. 199, No. 1--2, 5--24 (1998; Zbl 0902.68108) Full Text: DOI
Buszkowski, Wojciech The finite model property for BCI and related systems. (English) Zbl 0861.03020 Stud. Log. 57, No. 2-3, 303-323 (1996). Reviewer: M.W.Bunder (Wollongong) MSC: 03B60 03G25 06F35 PDFBibTeX XMLCite \textit{W. Buszkowski}, Stud. Log. 57, No. 2--3, 303--323 (1996; Zbl 0861.03020) Full Text: DOI
Buszkowski, Wojciech Extending Lambek grammars to basic categorial grammars. (English) Zbl 0855.03015 J. Logic Lang. Inf. 5, No. 3-4, 279-295 (1996). MSC: 03B65 PDFBibTeX XMLCite \textit{W. Buszkowski}, J. Logic Lang. Inf. 5, No. 3--4, 279--295 (1996; Zbl 0855.03015) Full Text: DOI