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 -
Relational logics for formalization of database dependencies
Wojciech Buszkowski, Ewa Orłowska
Bulletin of the Section of Logic , 27 /3 (1998) s. 138-143 -
J.M.Cohen's claim on categorial grammars remins unproved
Wojciech Zielonka
Bulletin of the Section of Logic , 14 /4 (1985) s. 130-133 -
Application of the theory of logical matrices in the independence proof
Wojciech Suchoń
Bulletin of the Section of Logic , 2 /2 (1973) s. 121-124 -
On defining Moisil's functors in n-valued Lukasiewicz propositional logic
Wojciech Suchoń
Bulletin of the Section of Logic , 2 /3 (1973) s. 195-196 -
Matrix Lukasiewicz algebras
Wojciech Suchoń
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 9-14 -
On the equivalence of Ajdukiewicz-Lambek valculus and simple phrase structure grammars
Wojciech Zielonka
Bulletin of the Section of Logic , 5 /2 (1976) s. 1-4 -
Counting formulae of propositional calculus
Wojciech Suchoń
Bulletin of the Section of Logic , 20 /1 (1991) s. 10-13 -
Unitary Unification of S5 Modal Logic and its Extensions
Wojciech Dzik
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 19-26 -
Transparent Unifiers in Modal Logics with Self-Conjugate Operators
Wojciech Dzik
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 73-83 -
Remarks on Projective Unifiers
Wojciech Dzik
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 37-46 -
On Non Equivalence of Two Definitions of the Algebras of Łukasiewicz
Wojciech Suchoń
Bulletin of the Section of Logic , 1 /1 (1972) s. 35-37 -
No-Equivalence of Certain Definitions of Infinite Łukasiewicz Algebras
Wojciech Suchoń
Bulletin of the Section of Logic , 1 /2 (1972) s. 10-16 -
On two notions concerning the structural sentential calculi
Wiesław Dziobiak, Wojciech Sachwanowicz
Bulletin of the Section of Logic , 8 /2 (1979) s. 54-60