Wyniki
-
A minimal equational base for certain varieties of BCK-algebras
Paweł M. Idziak
Bulletin of the Section of Logic , 10 /4 (1981) s. 152-157 -
A finite base for the consequence operation
Paweł M. Idziak
Bulletin of the Section of Logic , 12 /2 (1983) s. 76-89 -
Generalized complex algebras and regular identities
Paweł M. Idziak
Bulletin of the Section of Logic , 14 /2 (1985) s. 84-88 -
Decision problem for finite equivalential algebras
Paweł M. Idziak
Bulletin of the Section of Logic , 20 /1 (1991) s. 7-9