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 -
Some conections between Cn and Cn-1 and dCn
Maciej Spasowski
Bulletin of the Section of Logic , 2 /1 (1973) s. 46-49 -
The degrees of completeness of dual counterparts of Lukasiewicz sentential calculi
Maciej Spasowski
Bulletin of the Section of Logic , 4 /4 (1975) s. 163-167 -
Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus
Maciej Kandulski
Bulletin of the Section of Logic , 23 /4 (1994) s. 151-157 -
QL-Regular Quantified Modal Logics
Maciej Nowicki
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 211-221 -
Dual Counterparts of Łukasiewicz Sentential Calculi
Grzegorz Malinowski, Maciej Spasowski
Bulletin of the Section of Logic , 1 /3 (1972) s. 2-7