Wyniki
-
Matrix representations for structural strengthenings of a propositional logic
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 72-78 -
Strongly finie logics: Finite axiomatizability and the problem of supremum
Piotr Wojtylak
Bulletin of the Section of Logic , 8 /2 (1979) s. 99-111 -
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus
Piotr Wojtylak
Bulletin of the Section of Logic , 5 /4 (1976) s. 153-156 -
A syntactical characterization of structural completeness for implicational logics
Piotr Wojtylak
Bulletin of the Section of Logic , 19 /1 (1990) s. 2-9