Decompositions and Projections in Equivalential Algebras. - Katarzyna Slomczynska (Reports Math. Log., 1992)

Normal Retractions in Ordered Equivalential Algebras. - Katarzyna Slomczynska (Reports Math. Log., 1992)

Linear Equivalential Algebras. - Katarzyna Slomczynska (Reports Math. Log., 1995)

Finite Algebras from Fregean Varieties: Decomposition and Polynomials. - Katarzyna Slomczynska (Reports Math. Log., 2000)

Free spectra of linear equivalential algebras. - Katarzyna Slomczynska (J. Symb. Log., 2005)

Purely equivalential propositional formulas in the intermediate Godel-Dummett logic. - Katarzyna Slomczynska (Reports Math. Log., 2007)

Free equivalential algebras. - Katarzyna Slomczynska (Ann. Pure Appl. Log., 2008)

Fregean Varieties. - Pawel M. Idziak; Katarzyna Slomczynska; Andrzej Wronski (Int. J. Algebra Comput., 2009)

Unification and projectivity in Fregean varieties. - Katarzyna Slomczynska (Log. J. IGPL, 2012)

Algebraic semantics for the (↔, ¬¬)-fragment of IPC. - Katarzyna Slomczynska (Math. Log. Q., 2012)

Algebraic semantics for the (↔, ¬)-fragment of IPC and its properties. - Katarzyna Slomczynska (Math. Log. Q., 2017)

Free Finitely Generated Linear Hilbert Algebras with Supremum. - Slawomir Przybylo; Katarzyna Slomczynska (J. Multiple Valued Log. Soft Comput., 2017)

Free p-algebras revisited: An algebraic investigation of implication-free intuitionism. - Tomasz Kowalski; Katarzyna Slomczynska (Ann. Pure Appl. Log., 2025)