Wyniki
-
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus
Maciej Kandulski
Bulletin of the Section of Logic , 14 /4 (1985) s. 164-169 -
Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus
Maciej Kandulski
Bulletin of the Section of Logic , 23 /4 (1994) s. 151-157