dr hab. Irena Katarzyna Korwin-Słomczyńska

orcid.org/0000-0002-7957-2583

profesor UKEN (pracownik badawczo-dydaktyczny)

Katedra Edukacji i Podstaw Matematyki

pokój:     107

telefon:     12 662-62-87

e-mail:     kslomcz@up.krakow.pl

Harmonogram zajęć:

Curriculum Vitae

Wykształcenie

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

Dyplomy

• 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"

Zainteresowania naukowe

Główne kierunki prowadzonych badań:

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

Główne wyniki badań:

• 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.

Granty i projekty badawcze

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

Przebieg pracy zawodowej

• 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

Funkcje pełnione w 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)

 

Prowadzone (najczęściej) zajęcia dydaktyczne

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

Konferencje

Konferencje naukowe:
Konferencje międzynarodowe:

1. First German-Polish workshop on Logic & Logical Philosophy, Bachotek, 10-13.IX.1995, Representation theorem for equivalential algebras;
2. Workshop on Abstract Algebraic Logic, Barcelona, 1-5.VI.1997, Commutator in Fregean varieties;
3. Algebra & Substructural Logics (A sub L), Japan Advanced Institute of Science and Technology, Kanazawa (Japonia), 10-17.XI.1999, Finite algebras from Fregean varieties: decomposition and polynomials;
4. Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, 15-18.VI.2005, Free finitely generated equivalential algebras;
5. Algebra & Substructural Logics (A sub L), take three, Kraków, 6-8.XI.2006, Construction of free equivalential algebras;
6. Topology, Algebra and Categories in Logic, Amsterdam, 7-11.VI.2009, Free algebras for the {→,~} fragment of IPC and KC;
7. Applications of Algebra XIV, Zakopane, 8-13.III.2010, Projectivity in Fregean varieties;
8. OAL2.0, Second International Conference on Order, Algebra, and Logics, Kraków, 6-10.VI.2011, Unification and projectivity in Fregean varieties.

Konferencje krajowe:

9. XXXVII Konferencja Historii Logiki, Kraków, 19-20.XI.1991, Rozkłady i rzuty w algebrach równoważnościowych;
10. XXXVIII Konferencja Historii Logiki, Kraków, 17-18.XI.1992, The representation theorem for equivalential algebras;
11. XL Konferencja Historii Logiki, Kraków, 16-17.XI.1994, Komutator w algebrach równoważnościowych;
12. Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz, 6-10.V.1998, Algebry równoważnościowe (dwa referaty);
13. L Konferencja Historii Logiki, Kraków, 26-27.X.2004, Wolne n-generowane algebry równoważnościowe;
14. LII Konferencja Historii Logiki, Kraków, 9-10 XI 2006, Konstrukcja wolnych algebr równoważnościowych.

Publikacje

Artykuły naukowe:

1. K. Korwin-Słomczyńska, S. Przybyło, Equivalential algebras with conjunction on dense elements, Bull. Sect. Logic Univ. Łódź 51 (2022), 535-554
2. K. Słomczyńska, The structure of completely meet irreducible congruences in strongly Fregean algebra, Algebra Universalis 38 (2022), 31-
3. K. Korwin-Słomczyńska, S. Przybyło, Algebraic semantics for the (↔ ,¬)-fragment of IPC and its properties, MLQ Math. Log. Q. 63 (2017), 202-210
4. 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
5. K. Słomczyńska, High school identities, Annales Universitatis Paedagogicae Cracoviensis Studia ad Didacticam Mathematicae Pertinentia 7 (2015), 91-98
6. K. Słomczyńska, Unification and projectivity in Fregean varieties, Log. J. IGPL 20 (2012), 73-93
7. K. Słomczyńska, Algebraic semantics for the (↔ ,¬¬)-fragment of IPC, MLQ Math. Log. Q. 58 (2012), 29-37
8. P. M. Idziak, K. Słomczyńska, A. Wroński, Commutator in equivalential algebras and Fregean varieties, Algebra Universalis 65 (2011), 331-340
9. P. M. Idziak, K. Słomczyńska, A. Wroński, Fregean varieties, Internat. J. Algebra Comput. 19 (2009), 595-645
10. K. Słomczyńska, Free equivalential algebras, Ann. Pure Appl. Logic 155 (2008), 86-96
11. K. Słomczyńska, Purely equivalential propositional formulas in the intermediate Gödel-Dummett logic, Rep. Math. Logic 42 (2007), 87-100
12. K. Słomczyńska, Free spectra of linear equivalential algebras, J. Symbolic Logic 70 (2005), 1341-1358
13. P. M. Idziak, K. Słomczyńska, Polynomially rich algebras, J. Pure Appl. Algebra 156 (2001), 33-68
14. K. Słomczyńska, Finite algebras from Fregean varieties: decomposition and polynomials, Rep. Math. Logic 34 (2000), 157-158
15. 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
16. K. Słomczyńska, Equivalential algebras. Part II: Independence, Algebra Universalis 37 (1997), 426-439
17. K. Słomczyńska, Equivalential algebras. Part I: Representation, Algebra Universalis 35 (1996), 524-547
18. K. Słomczyńska, Linear equivalential algebras, Rep. Math. Logic 29 (1995), 41-58
19. K. Słomczyńska, Representation theorem for equivalential algebras, Bull. Sect. Logic Univ. Lódź 22 (1993), 28-32
20. K. Korwin-Słomczyńska, Stochastic processes in Rényi conditional probability spaces, Probab. Math. Statist. 13 (1992), 345-361
21. K. Słomczyńska, Decompositions and projections in equivalential algebras, Rep. Math. Logic 26 (1992), 11-24
22. K. Słomczyńska, Normal retractions in ordered equivalential algebras, Rep. Math. Logic 26 (1992), 75-87