Katedra Logiki dr Krystyna Mruczek-Nasieniewska

• logiki równościowe,
• P-zgodne teorie równościowe,
• zagadnienia dotyczące związków logiki i algebry uniwerslanej,
• zagadnienie konstrukcji krat rozmaitości algber,
• podteorie teorii grup abelowych.
• logiki modalne i parakonsystentne,

Prace naukowe

• „Krata podrozmaitości rozmaitości wyznaczonej przez równości zewnętrznie zgodne grup abelowych”. Uniwersytet Opolski, matematyka, promotor: prof. Katarzyna Hałkowska.

• „Konstrukcja kraty rozmaitości P-zgodnych związana z typem algebr”. Uniwersytet Śląski, nauki matematyczne (matematyka), promotor: prof. Katarzyna Hałkowska, recenzenci: prof. Grzegorz Jarzembski i prof. Piotr Wojtylak.

Publikacje

• Krata podrozmaitości rozmaitości wyznaczonej przez równości pewnej postaci grup abelowych -I, Prace naukowe, Wyższa Szkoła  Pedagogiczna w Częstochowie, Matematyka V, 1997. Wspólna praca z  Katarzyną Gajewską-Kurdziel.
• On some lattice of varieties related to changes of the type, w: K. Denecke, H.-J.Vogel, (red.), General Algebra and Applications, Proceedings of the 59th Workshop on General Algebra, Shaker Verlag, Aachen  2000, 147-153.
• Proper P-compatible hypersubstitutions, East-West Journal of Mathematics 2 No. 1 (2000), 33-40. Wspólna praca z Klausem Denecke.
• On some sets of identities satisfied in Abelian groups, Demonstratio Mathematica 35 No. 3 (2002), 447-453. Wspólna praca z Katarzyną Gajewską-Kurdziel.
• Subdirectly Irreducible P-compatible Abelian Groups, Bulletin of the Section of Logic 32 No. 1-2 (2003), 57-64.
• P-compatible Abelian Groups, Logic and Logical Philosophy 14 No. 2 (2005), 253-263.
• Syntactical and Semantical Characterization of a Class of Paraconsistent Logics, Bulletin of the Section of Logic 34 No. 4 (2005), 229-248. Wydrukowane w 2006. Wspólna praca z dr. Markiem Nasieniewskim.
• Externally Compatible Abelian Groups of the Type (2, 1, 0), Logic and Logical Philosophy 15 No. 3 (2006), 239-250.
• The lattice of subvarieties of the variety defined by externally compatible identities of Abelian groups of exponent n, Studia Logica vol. 85 No. 3 (2007), 361-379. Wspólna praca z dr Katarzyną Gajewską-Kurdziel.
• Paraconsitent logics obtained by J.-Y. Béziau's method by means of some non-normal modal logics, Bulletin of the Section of Logic 37 No. 3/4 (2008), 185-196. Wspólna praca z dr. Markiem Nasieniewskim.
• Béziau’s Logics Obtained by Means of Quasi-regular Logics , Bulletin of the Section of Logic 38 No. 3/4 (2009), 189-203. Wspólna praca z dr Markiem Nasieniewskim.
• The Varieties Defined by P-compatible Identities of Modular Ortholattices, Studia Logica vol. 95 (2010), 21-35.

Zajęcia prowadzone w roku akademickim 2008/2009:

• Konwersatorium z logiki dla studentów archeologii,
• Laboratorium z logiki dla studentów dziennikarstwa,
• ćwiczenia z logiki dla studentów filologii bałkańskiej,
• ćwiczenia z logiki dla studentów politologii,

Dyżury w r. akad. 2010/2011:

poniedziałek, godz. 8-10, tel.  56-611-46-89

• `Krata podrozmaitości rozmaitości zdefiniowanej przez równości zewnetrznie zgodne grup abelowych',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce I,
  Zakopane 1997.
• `Równości P-zgodne grup abelowych',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce II,
  Zakopane 1998.
• `Krata rozmaitości zdefiniowanych przez równości zewnętrznie zgodne grup abelowych typu (2,1,0)',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce III,
  Zakopane 1999.
• Seria referatów dotyczących P-zgodnych równości wygłoszonych podczas stażu na Uniwersytecie w Poczdamie,
  Poczdam 1999.
• `Rozmaitości wyznaczone przez równości P-zgodne',
  IV Konferencja ``Zastosowania Logiki w Filozofii i Podstawach Matematyki'',
  Karpacz 1999.
• `On varieties of algebras defined by P-compatible identities satisfied in Abelian groups',
  14th Conference of Young Algebraists - 57th Arbeitstagung Allgemeine Algebra
  Poczdam 1999.
• `P-zgodne hiperpodstawienia',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce IV,
  Zakopane 2000.
• `Properties of the lattice of all subvarieties of the variety defined by P-compatible identities connected to change of the type of algebras',
  59th Workshop on General Algebra,
  Poczdam 2000.
• `O algorytmie tworzenia pewnej kraty podrozmaitości',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce V,
  Zakopane 2001.
• `On the equivalence of some sets of identities satisfied in Abelian Groups',
  Conference on Galois Connections,
  Poczdam 2001.
• `Algebry podprosto-nierozkładalne w pewnych rozmaitościach',
  Ogólnopolska Konferencja Zastosowania Algebry w Logice i Informatyce VI,
  Zakopane 2002.
• `A Modal Formulation of Some Paraconsistent Logics. Part II', (współautorstwo z Markiem Nasieniewskim)
  International Workshop on Problem Solving in the Sciences: Adaptive and Interrogative Perspectives - 9th VlaPolo
  Gandawa, Ghent University, 6-9 maja 2004.
• `Twierdzenie o pełności dla pewnej klasy logik parakonsystentnych (Completeness Theorem for a Class of Paraconsistent Logics)' (współautorstwo z Markiem Nasieniewskim),
  Toruńskie Warsztaty Logiczno-Filozoficzne
  Zamek Bierzgłowski, 5-8 września 2005 r.
• `Semantyczna charakteryzacja teorii P-zgodnych (A Semantic Characterization  of P-compatible Theories)',
  Toruńskie Warsztaty Logiczno-Filozoficzne
  Zamek Bierzgłowski, 5-8 września 2005 r.
• `Syntaktyczna i semantyczna charakterystyka pewnej klasy logik parakonsystentnych', (współautorstwo z Markiem Nasieniewskim)
  XI Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki,
  Szklarska Poręba, 8-12 maja 2006.
• `Logiki zdaniowe otrzymywane metodą J.-Y. Beziau z pewnych modalnych logik nie-normalnych', (współautorstwo z Markiem Nasieniewskim)
  Konferencja Logiki nieklasyczne. Teoria i zastosowania,
  Łódź 4-6.09.2008.
• `Some properties of P-compatible modular orthologic',
  Studia Logica International Conference Logic and the foundations of physics: space, time and quanta, Trends in Logic VI,
  Bruksela, Belgia, 11-12 grudnia 2008.
• `P-compatible Modular Orthologics',
  Międzynarodowa Konferencja Zastosowania Algebry w Logice i Informatyce XIII,
  Zakopane, 9-15 marca 2009 r.
• `Logiki J.-Y. Béziau otrzymane z pewnych modalnych logik quasi-regularnych', (współautorstwo z Markiem Nasieniewskim)
  Konferencja Logiki nieklasyczne. Teoria i zastosowania,
  Łódź 17-19.09.2009.
• `The varieties defined by P-compatible identities of MV-algebras',
  Konferencja Lattice-Ordered Groups and MV-Algebras: Interaction and Impact on Algebras of Logic.
  Miejsce: Academia Nacional de Ciencias Exactas, Fisicas y Naturales,
  Organizatorzy:
  The Consortium for Order in Algebra and Logic, Vanderbilt University, Nashville, TN, USA,
  Academia Nacional de Ciencias Exactas, Fisicas y Naturales, Buenos Aires, Argentyna,
  Studia Logica,
  Buenos Aires, Argentyna, 13-15.10.2010.
• `On some class of algebras definable by externally compatible identities of MV-algebras',
  Konferencja Ordered Groups and Lattices in Algebraic Logic.
  Organizatorzy:
  Tbilisi State University,
  University of Salerno,
  Kurt Goedel Society
  Studia Logica,
  Tbilisi, Gruzja, 20.09.2011-23.09.2011.
• `Paraconsitent logics obtained by J.-Y. Béziau’s method by means of some non-normal modal logics. II.', (współautorstwo z dr. Markiem Nasieniewskim)
  Konferencja Logiki nieklasyczne. Teoria i zastosowania IV, (Nonclassical logics. Theory and Applications IV),
  Łódź 27-29.09.2011.