Wyniki
-
The representation theorem for the algebras determined by the fragments of infinite-valued logic of Lukasiewicz
Barbara Woźniakowska
Bulletin of the Section of Logic , 7 /4 (1978) s. 176-178 -
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz
Barbara Woźniakowska
Bulletin of the Section of Logic , 6 /4 (1977) s. 186-189 -
Topos based semantics for constructive logic with strong negation
Barbara Klunder
Bulletin of the Section of Logic , 19 /4 (1990) s. 133-138 -
On congruence lattices of commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 8 /4 (1979) s. 188-190 -
Finitely generated ideals in directed commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 9 /4 (1980) s. 166-169 -
An equational basis for commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 10 /3 (1981) s. 108-112