Katarzyna Slomczynska

According to our database, Katarzyna Slomczynska authored at least 15 papers between 1992 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Algebraic Semantics for a Mixed Type Fragment of IPC.

Eryk Lipka, Katarzyna Slomczynska

Stud Logica, April, 2026

Quasivarieties of p-Algebras: Some New Results.

Tomasz Kowalski, Katarzyna Slomczynska

Stud Logica, February, 2026

2025

Free p-algebras revisited: An algebraic investigation of implication-free intuitionism.

Tomasz Kowalski, Katarzyna Slomczynska

Ann. Pure Appl. Log., 2025

2017

Free Finitely Generated Linear Hilbert Algebras with Supremum.

Slawomir Przybylo, Katarzyna Slomczynska

J. Multiple Valued Log. Soft Comput., 2017

Algebraic semantics for the (↔, ¬)-fragment of IPC and its properties.

Katarzyna Slomczynska

Math. Log. Q., 2017

2012

Algebraic semantics for the (↔, ¬¬)-fragment of IPC.

Katarzyna Slomczynska

Math. Log. Q., 2012

Unification and projectivity in Fregean varieties.

Katarzyna Slomczynska

Log. J. IGPL, 2012

2009

Fregean Varieties.

Pawel M. Idziak, Katarzyna Slomczynska, Andrzej Wronski

Int. J. Algebra Comput., 2009

2008

Free equivalential algebras.

Katarzyna Slomczynska

Ann. Pure Appl. Log., 2008

2007

Purely equivalential propositional formulas in the intermediate Godel-Dummett logic.

Katarzyna Slomczynska

Reports Math. Log., 2007

2005

Free spectra of linear equivalential algebras.

Katarzyna Slomczynska

J. Symb. Log., 2005

2000

Finite Algebras from Fregean Varieties: Decomposition and Polynomials.

Katarzyna Slomczynska

Reports Math. Log., 2000

1995

Linear Equivalential Algebras.

Katarzyna Slomczynska

Reports Math. Log., 1995

1992

Normal Retractions in Ordered Equivalential Algebras.

Katarzyna Slomczynska

Reports Math. Log., 1992

Decompositions and Projections in Equivalential Algebras.

Katarzyna Slomczynska

Reports Math. Log., 1992