Wojciech Buszkowski
7 artykuły w 2 czasopismach
-
A note on Lambek - van Benthem calculus Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 1 / s. 31 - 351984CZYSTY TEKST
Wojciech Buszkowski, A note on Lambek - van Benthem calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 1, s. 31 - 35
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "A note on Lambek - van Benthem calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 1", pages = "31 - 35" }
-
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 1 / s. 33 - 371976CZYSTY TEKST
Wojciech Buszkowski, Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 33 - 37
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "33 - 37" }
-
Grammatical structures and logical deductions Opublikowano w: Logic and Logical Philosophy 1995 / Tom 3 / s. 47 - 861995CZYSTY TEKST
Wojciech Buszkowski, Grammatical structures and logical deductions, Logic and Logical Philosophy, 1995 / Tom 3, s. 47 - 86
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Grammatical structures and logical deductions", journal = "Logic and Logical Philosophy", issue = "1995 / Tom 3", pages = "47 - 86" }
-
Strong generative capacity of classical categorial grammars Opublikowano w: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 2 / s. 60 - 651986CZYSTY TEKST
Wojciech Buszkowski, Strong generative capacity of classical categorial grammars, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 2, s. 60 - 65
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Strong generative capacity of classical categorial grammars", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 2", pages = "60 - 65" }
-
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 75 - 922017CZYSTY TEKST
Wojciech Buszkowski, Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 75 - 92
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "75 - 92" }
-
Relational logics for formalization of database dependencies Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3 / s. 138 - 1431998CZYSTY TEKST
Wojciech Buszkowski, Ewa Orłowska, Relational logics for formalization of database dependencies, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 138 - 143
BIBTEX@Article{ authors = " Wojciech Buszkowski, Ewa Orłowska", title = "Relational logics for formalization of database dependencies", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "138 - 143" }
-
Transition from potential to actual infinity via Ackermann's principle Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 4 / s. 148 - 1511983CZYSTY TEKST
Wojciech Buszkowski, Transition from potential to actual infinity via Ackermann's principle, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 148 - 151
BIBTEX@Article{ authors = " Wojciech Buszkowski", title = "Transition from potential to actual infinity via Ackermann's principle", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "148 - 151" }
