Wyniki
-
Some remarks on WMV-algebras
Kazimiera Dyrda
Bulletin of the Section of Logic , 12 /2 (1983) s. 55-63 -
On simple algebras in Esn
Kazimiera Dyrda
Bulletin of the Section of Logic , 13 /1 (1984) s. 25-29 -
On classification of commutative BCK-logics
Kazimiera Dyrda
Bulletin of the Section of Logic , 14 /1 (1985) s. 30-32 -
Axiomatization of the logics determined by finite relational systems of natural numbers with identity
Kazimiera Dyrda
Bulletin of the Section of Logic , 27 /4 (1998) s. 152-155