Wyniki
-
The axiomatizations of S.Jaskowski's discussive system
Jerzy Kotas
Bulletin of the Section of Logic , 2 /1 (1973) s. 12-15 -
Logical Systems with Implication and Theories of Quasi-Implicative Algebras
Jerzy Kotas
Bulletin of the Section of Logic , 1 /1 (1972) s. 13-22 -
Algebraic Approach to Sentential Calculi in the Papers of K. Iseka and S. Tanaka
Jerzy Kotas
Bulletin of the Section of Logic , 1 /2 (1972) s. 28-34