Personal Webpage

Research

Studies

Links




dr hab. (D.Sc., Ph.D.)
Irena Katarzyna Korwin-Słomczyńska
orcid.org/0000-0002-7957-2583
profesor UKEN (pracownik badawczo-dydaktyczny) (associate professor)
Chair Education and Foundations of Mathematics

room: 107

phone: 12 662-62-87

e-mail: irena.korwin-slomczynska@uken.krakow.pl

Sabbatical in the academic year 2023/24

Curriculum Vitae

Education

1985 – magister matematyki, specjalność teoretyczna, Uniwersytet Jagielloński;
1986 – magister psychologii, Uniwersytet Jagielloński

Received Degrees

1994 - doktor nauk humanistycznych w zakresie filozofii, Wydział Filozoficzny UJ, praca doktorska „Equivalential algebras”, promotor: prof. dr hab. Andrzej Wroński
2013 - doktor habilitowany nauk matematycznych w zakresie matematyki, specjalność: algebra uniwersalna i logika matematyczna, Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego, rozprawa habilitacyjna "Kongruencyjnie permutowalne rozmaitości fregowskie"

Interests

Research:

rozmaitości i algebry fregowskie;
algebry równoważnościowe;
algebry wielomianowo bogate.

Research Results:

opisanie wewnętrznej struktury algebr równoważnościowych stanowiących semantyczny odpowiednik czysto równoważnościowego fragmentu intuicjonistycznego rachunku zdań, należących do pewnej szerokiej klasy, zawierającej w szczególności wszystkie algebry skończone; skonstruowanie reprezentacji algebr równoważnościowych jako pewnych prostszych struktur porządkowo-algebraicznych; pełne zbadanie relacji pomiędzy algebrami równoważnościowymi a półkratami Brouwera;
wprowadzenie pojęcia algebr wielomianowo bogatych; pokazanie, że lokalnie skończona rozmaitość, w której wszystkie skończone algebry są wielomianowo bogate jest kongruencyjnie modularna; charakteryzacja wielomianowo bogatych rozmaitości kongruencyjnie permutowalnych (wyniki uzyskane z Pawłem M. Idziakiem);
zbadanie struktury i liczebności algebr wolnych w rozmaitości liniowych algebr równoważnościowych stanowiących semantyczny odpowiednik równoważnościowego fragmentu logiki pośredniej Gödela-Dummetta i w jej niektórych podrozmaitościach stanowiących algebraiczne odpowiedniki logik pośrednich Gödela;
konstruktywny opis równoważnościowych formuł w logice Gödela-Dummetta;
podanie konstrukcji wolnych skończenie generowanych algebr równoważnościowych;
zbadanie struktury rozmaitości i algebr fregowskich (wyniki uzyskane z Pawłem M. Idziakiem i Andrzejem Wrońskim);
opis teorii komutatora w algebrach równoważnościowych i rozmaitościach fregowskich (wyniki uzyskane z Pawłem M. Idziakiem i Andrzejem Wrońskim);
analiza pojęcia projektywności w rozmaitościach fregowskich.

Participation in research grants

KBN 1HO1A 001 12 „Logiki równoważnościowe i algebry fregowskie” (kierownik projektu: prof. dr hab. Andrzej Wroński, UJ), 03.1997-03.2000, główny wykonawca

Professional activity

1985-1995 - asystent w Instytucie Matematyki Wyższej Szkoły Pedagogicznej w Krakowie;
1995-2012 - adiunkt w Instytucie Matematyki Akademii Pedagogicznej / Uniwersytetu Pedagogicznego im. KEN w Krakowie;
2013- - profesor w Instytucie Matematyki Uniwersytetu Pedagogicznego im. KEN w Krakowie

Positions held in UP

pełnomocnik ds Programu Erasmus w IM (od 2016)
przedstawiciel Wydziału Mat.-Fiz.-Tech. w Radzie Bibliotecznej UP (od 2017)
kierownik Katedry Algebry (od 2018)

Teaching activity

wstęp do logiki i teorii mnogości, teoria mnogości; algebra

Attended conferences

Scientific conferenced:

Publications

Articles:

T. Kowalski, K. Słomczyńska, Decidable quasivarieties of p-algebras, MLQ Math. Log. Q 71 (2025), art. Id.: 2300064
T. Kowalski, K. Słomczyńska, Free p-algebras revisited: An algebraic investigation of implication-free intuitionism, Ann. Pure Appl. Logic 176 (2025), art. Id.: 103610
T. Kowalski, K. Słomczyńska, Quasivarieties of p-Algebras: Some New Results, Studia Logica (2025), 1-17
S. Przybyło, K. Słomczyńska, Free Spectra of Equivalential Algebras with Conjunction on Dense Elements, Bull. Sect. Logic Univ. Łódź 53 (2024), 399-418
E. Lipka, K. Słomczyńska, Algebraic Semantics for a Mixed Type Fragment of IPC, Studia Logica (2024), 1-25
K. Słomczyńska, The structure of completely meet irreducible congruences in strongly Fregean algebra, Algebra Universalis 83 (2022), : 31
S. Przybyło, K. Słomczyńska, Equivalential algebras with conjunction on dense elements, Bull. Sect. Logic Univ. Łódź 51 (2022), 535-554
K. Słomczyńska, Algebraic semantics for the (↔ ,¬)-fragment of IPC and its properties, MLQ Math. Log. Q. 63 (2017), 202-210
K. Słomczyńska, Jak bardzo przemienna może być grupa nieprzemienna?, Annales Universitatis Paedagogicae Cracoviensis Studia ad Didacticam Mathematicae Pertinentia 9 (2017), 99-110
S. Przybyło, K. Słomczyńska, Free finitely generated linear Hilbert algebras with supremum, J. Mult.-Valued Logic Soft Comput. 29 (2017), 135-156
K. Słomczyńska, High school identities, Annales Universitatis Paedagogicae Cracoviensis Studia ad Didacticam Mathematicae Pertinentia 7 (2015), 91-98
K. Słomczyńska, Unification and projectivity in Fregean varieties, Log. J. IGPL 20 (2012), 73-93
K. Słomczyńska, Algebraic semantics for the (↔ ,¬¬)-fragment of IPC, MLQ Math. Log. Q. 58 (2012), 29-37
P. M. Idziak, K. Słomczyńska, A. Wroński, Commutator in equivalential algebras and Fregean varieties, Algebra Universalis 65 (2011), 331-340
P. M. Idziak, K. Słomczyńska, A. Wroński, Fregean varieties, Internat. J. Algebra Comput. 19 (2009), 595-645
K. Słomczyńska, Free equivalential algebras, Ann. Pure Appl. Logic 155 (2008), 86-96
K. Słomczyńska, Purely equivalential propositional formulas in the intermediate Gödel-Dummett logic, Rep. Math. Logic 42 (2007), 87-100
K. Słomczyńska, Free spectra of linear equivalential algebras, J. Symbolic Logic 70 (2005), 1341-1358
P. M. Idziak, K. Słomczyńska, Polynomially rich algebras, J. Pure Appl. Algebra 156 (2001), 33-68
K. Słomczyńska, Finite algebras from Fregean varieties: decomposition and polynomials, Rep. Math. Logic 34 (2000), 157-158
P. M. Idziak, K. Słomczyńska, A. Wroński, Equivalential algebras: a study of Fregean varieties, J. Font, R. Jansana, and D. Pigozzi (Eds.), Proc. Workshop on Abstract Algebraic Logic, Spain, July 1–5, 1997, CRM Quaderns, 10 (1998), 95-100
K. Słomczyńska, Equivalential algebras. Part II: Independence, Algebra Universalis 37 (1997), 426-439
K. Słomczyńska, Equivalential algebras. Part I: Representation, Algebra Universalis 35 (1996), 524-547
K. Słomczyńska, Linear equivalential algebras, Rep. Math. Logic 29 (1995), 41-58
K. Słomczyńska, Representation theorem for equivalential algebras, Bull. Sect. Logic Univ. Lódź 22 (1993), 28-32
K. Słomczyńska, Decompositions and projections in equivalential algebras, Rep. Math. Logic 26 (1992), 11-24
K. Słomczyńska, Stochastic processes in Rényi conditional probability spaces, Probab. Math. Statist. 13 (1992), 345-361
K. Słomczyńska, Normal retractions in ordered equivalential algebras, Rep. Math. Logic 26 (1992), 75-87