Wyniki
-
Transition from potential to actual infinity via Ackermann's principle
Wojciech Buszkowski
Bulletin of the Section of Logic , 12 /4 (1983) s. 148-151 -
A note on Lambek - van Benthem calculus
Wojciech Buszkowski
Bulletin of the Section of Logic , 13 /1 (1984) s. 31-35 -
Strong generative capacity of classical categorial grammars
Wojciech Buszkowski
Bulletin of the Section of Logic , 15 /2 (1986) s. 60-65 -
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
Wojciech Buszkowski
Bulletin of the Section of Logic , 5 /1 (1976) s. 33-37 -
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
Wojciech Buszkowski
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 75-92