Wyniki
-
Some remarks on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 9 /2 (1980) s. 85-87 -
On ideals in directed commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /3 (1980) s. 145-151 -
An example of the commutative BCK-algebra
Marek Pałasiński
Bulletin of the Section of Logic , 9 /4 (1980) s. 163-165 -
Ideals in BCK-algebras which are lower semilattices
Marek Pałasiński
Bulletin of the Section of Logic , 10 /1 (1981) s. 48-55 -
On a problem on BCK-algebras
Marek Pałasiński
Bulletin of the Section of Logic , 10 /2 (1981) s. 93-99 -
Varieties of commutative BCK-algebras not generated by their finite members
Marek Pałasiński
Bulletin of the Section of Logic , 12 /3 (1983) s. 134-135 -
On BCK-algebras with the operation (S)
Marek Pałasiński
Bulletin of the Section of Logic , 13 /1 (1984) s. 13-17 -
The answers to Dziobiak's question
Marek Pałasiński
Bulletin of the Section of Logic , 19 /2 (1990) s. 56-57 -
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 -
Some notes on characteristic consequence operations
Zbigniew Stachniak
Bulletin of the Section of Logic , 7 /4 (1978) s. 159-166 -
On minimal resolution proof for resolution logics
Zbigniew Stachniak
Bulletin of the Section of Logic , 26 /2 (1997) s. 94-101 -
Reasoning with partial situations
Zbigniew Stachniak
Bulletin of the Section of Logic , 27 /4 (1998) s. 196-206 -
Note on generalized matrix semantics and the problem of supremum
Zbigniew Stachniak
Bulletin of the Section of Logic , 17 /2 (1988) s. 82-91 -
Birkhoff's theorems via tree operads
Ewa Graczyńska, Zbigniew Oziewicz
Bulletin of the Section of Logic , 28 /3 (1999) s. 159-178