Wyniki
-
The amalgamation property for some classes of BCK-algebras
Katarzyna Pałasińska
Bulletin of the Section of Logic , 14 /3 (1985) s. 109-113 -
On algebra connected with notion of satisfiability in theories with conditional definitions
Katarzyna Hałkowska
Bulletin of the Section of Logic , 4 /4 (1975) s. 154-160 -
The failure of strong amalgamation property in certain classes of BCK-algebras
Katarzyna Pałasińska
Bulletin of the Section of Logic , 16 /4 (1987) s. 176-179 -
On dispersion operator on classes of algebras
Katarzyna Halkowska
Bulletin of the Section of Logic , 17 /2 (1988) s. 67-69 -
Three-element nonfinitely axiomatizable matrices
Katarzyna Pałasińska
Bulletin of the Section of Logic , 21 /4 (1992) s. 147-151 -
Representation theorem for equivalential algebras
Katarzyna Słomczyńska
Bulletin of the Section of Logic , 22 /1 (1993) s. 28-32 -
Slupecki's fragmentary systems
Grzegorz Bryll, Katarzyna Hałkowska
Bulletin of the Section of Logic , 13 /4 (1984) s. 252-254 -
Minimal generic of externally compatible varieties
Teresa Biegańska, Katarzyna Halkowska
Bulletin of the Section of Logic , 29 /3 (2000) s. 107-114