Buszkowski, Wojciech Second-order communication logic. (English) Zbl 0677.03020 Bull. Pol. Acad. Sci., Math. 36, No. 1-2, 87-92 (1988). MSC: 03B70 68Q65 68N25 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Pol. Acad. Sci., Math. 36, No. 1--2, 87--92 (1988; Zbl 0677.03020)
Buszkowski, Wojciech Communication logic is an elementary theory. (English) Zbl 0645.03024 Bull. Pol. Acad. Sci., Math. 35, No. 1-10, 637-642 (1987). MSC: 03B70 68Q65 68N25 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Pol. Acad. Sci., Math. 35, No. 1--10, 637--642 (1987; Zbl 0645.03024)
Buszkowski, Wojciech Solvable problems for classical categorial grammars. (English) Zbl 0642.03022 Bull. Pol. Acad. Sci., Math. 35, No. 1-10, 373-382 (1987). MSC: 03B99 03B25 03D05 68Q45 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Pol. Acad. Sci., Math. 35, No. 1--10, 373--382 (1987; Zbl 0642.03022)
Buszkowski, Wojciech; Orłowska, Ewa On the logic of database dependencies. (English) Zbl 0618.68078 Bull. Pol. Acad. Sci., Math. 34, 345-354 (1986). MSC: 68P20 68P05 03B99 PDFBibTeX XMLCite \textit{W. Buszkowski} and \textit{E. Orłowska}, Bull. Pol. Acad. Sci., Math. 34, 345--354 (1986; Zbl 0618.68078)
Buszkowski, Wojciech Generative capacity of nonassociative Lambek calculus. (English) Zbl 0618.03013 Bull. Pol. Acad. Sci., Math. 34, 507-516 (1986). MSC: 03B65 68Q45 03D05 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Pol. Acad. Sci., Math. 34, 507--516 (1986; Zbl 0618.03013)
Buszkowski, Wojciech Typed functorial languages. (English) Zbl 0618.03012 Bull. Pol. Acad. Sci., Math. 34, 495-505 (1986). MSC: 03B65 68Q45 08A05 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Pol. Acad. Sci., Math. 34, 495--505 (1986; Zbl 0618.03012)