Irena Katarzyna Korwin-Słomczyńska (znana również jako Katarzyna Słomczyńska) – polska doktor habilitowana nauk matematycznych, doktor filozofii i magister psychologii. Specjalizuje się w algebrze uniwersalnej (zwłaszcza w jej zastosowaniach w logice algebraicznej), logice matematycznej, logice intuicjonistycznej, algebrach wielomianowo bogatych oraz rozmaitościach i algebrach fregowskichdr hab. Irena Korwin-Słomczyńska, prof. UKEN, Szkoła Doktorska Uniwersytetu Komisji Edukacji Narodowej w Krakowie [dostęp 2026-01-07].
W roku 1979 podjęła studia matematyczne na Uniwersytecie Jagiellońskim, a w 1981 równolegle rozpoczęła studia z psychologii. W 1985 roku obroniła tytuł magistra matematyki na specjalizacji teoretycznej na Uniwersytecie Jagiellońskim w KrakowieIrena Katarzyna Korwin-Słoczyńska, Instytut Matematyki UKEN [dostęp 2026-01-07]. W 1986 roku została magistrem psychologii, również na Unwiersytecie Jagiellońskim. 16 grudnia 1994 roku została doktorem nauk humanistycznych w zakresie filozofii na Uniwersytecie Jagiellońskim za rozprawę Equivalential algebras (promotorem był prof. dr hab. Andrzej Wroński)Equivalentian algebras, Ludzie Nauki [dostęp 2026-01-07]Katarzyna Słomczyńska w bazie The Mathematics Genealogy Project [dostęp 2026-01-07]dr hab. Irena Katarzyna Korwin-Słomczyńska w bazie Nauka Polska [dostęp 2026-01-07]. W 2013 roku Uniwersytet Jagielloński nadał jej stopień doktora habilitowanego nauk matematycznych, a rozprawa habilitacyjna miała tytuł Kongruencyjnie permutowalne rozmaitości fregowskieIrena Katarzyna Korwin-Słomczyńska, Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego [dostęp 2026-01-07]Postępowanie ws. nadania habilitacji, Ludzie Nauki [dostęp 2026-01-07].
Przez całe życie zawodowe związana z Uniwersytetem Komisji Edukacji Narodowej w Krakowie – w latach 1985–1995 jako asystent, w latach 1995–2012 roku jako adiunkt i od 2013 roku jako profesor w Instytucie Matematyki Uniwersytetu Komisji Edukacji Narodowej w KrakowieIrena Katarzyna Korwin-Słomczyńska w bazie orcid [dostęp 2026-01-07]dr hab. Irena Katarzyna Korwin-Słomczyńska w bazie Ludzie Nauki [dostęp 2026-01-07]. Zazwyczaj na uniwersytecie prowadzi zajęcia z logiki matematycznej, teorii mnogości oraz algebry. Pełniła funkcję kierownika Katedy Algebry w Instytcie Matematyki UKEN.
W ramach prowadzonych badań naukowych opisała wewnętrzną strukturę algebr równoważnościowych będących semantycznym odpowiednikiem czysto równoważnościowego fragmentu intuicjonistycznego rachunku zdań i w pełni zbadała relacje między algebrami równoważnościowymi a półkratami Brouwera. Jest autorką pojęcia algebra wielomianowo bogatych i udowodniła, iż lokalnie skończona rozmaitość, w której wszystkie skończone algebry są wielomianowo bogate jest kongruencyjnie modularna oraz dokonała charakteryzacji wielomianowo bogatych rozmaitości kongruencyjnie permutowalnych. W konstruktywny sposób opisała równoważnościowe formuły w logice Gödela-Dummetta. Dokonała także opisu teorii komutatora w algebrach równoważnościowych i rozmaitościach fregowskich, a także analizy projektywności w tych ostatnich.
Była promotorem rozprawy doktorskiej Sławomira Przybyło pt. Algebry wolne w pewnych rozmaitościach fregowskich generowanych przez algebry trzyelementowe obronionej w 2020 rokuAlgebry wolne w pewnych rozmaitościach fregowskich generowanych przez algebry trzyelementowe, Ludzie Nauki [dostęp 2026-01-07], a w 2023 roku była recenzentem rozprawy doktorskiej Sufficient Conditions for a Maltsev Product of Two Varieties To Be a Variety Tomasza PenzySufficient Conditions for a Maltsev Product of Two Varieties To Be a Variety, Ludzie Nauki [dostęp 2026-01-07].
Jest członkiem rady redakcyjnej czasopisma Prace Koła Matematyków Uniwersytetu Pedagogicznego w KrakowieZespół redakcyjny, Prace Koła Matematyków Uniwersytetu Pedagogicznego w Krakowie [dostęp 2026-01-07].
Przypisy
Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Nauczyciele akademiccy Wydziału Matematyczno-Fizyczno-Technicznego Uniwersytetu Komisji Edukacji Narodowej w Krakowie