Department of Logic

dr habil. Krystyna Mruczek-Nasieniewska

Assistant Professor (adiunkt)

g mruczek@uni.torun.pl

4 56 611 46 88

Scientific interests:

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

Scientific degrees:

• Praca magisterska: Uniwersytet Opolski, matematyka

  „Krata podrozmaitości rozmaitości wyznaczonej przez równości zewnętrznie zgodne grup abelowych”

  promotor: prof. Katarzyna Hałkowska

• Praca doktorska: Uniwersytet Śląski, nauki matematyczne (matematyka)

  „Konstrukcja kraty rozmaitości P-zgodnych związana z typem algebr”

  promotor: prof. Katarzyna Hałkowska

  recenzenci: prof. Grzegorz Jarzembski i prof. Piotr Wojtylak.

• Habilitation thesis: Nicolaus Copernicus University, humanities (logic)

  Równościowe i zdaniowe logiki P-zgodne, Wyd. Naukowe UMK, Toruń 2013, pp. 139.

  referees: prof. Janusz Czelakowski, prof. Grzegorz Malinowski, prof. Jacek Malinowski, prof. Marcin Tkaczyk.

Consultations during academic year 2017/2018

• Tuesdays , 9:00-10:30, ``Harmonijka'', room 105 (the door with a sign ``Katedra Logiki''), phone: 56-611-36-26.

Didactics:

Zajęcia prowadzone w roku akademickim, semestr letni 2017/2018:

• wykład z Teorii obliczeń dla studentów kognitywistyki (s2)
• ćwiczenia z Teorii obliczeń dla studentów kognitywistyki (s2)
• ćwiczenia ‘Matematyczne podstawy kognitywistyki’ dla studentów kognitywistyki (s1).

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.
• “ Paraconsistent 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.
• “ A Segerberg-like connection between certain classes of propositional logics”, Bulletin of the Section of Logic 42 Nr 1-2 (2013), 43-52. Wspólna praca z dr hab. Markiem Nasieniewskim.
• Równościowe i zdaniowe logiki P-zgodne, Wyd. Naukowe UMK, Toruń 2013, ss. 139.
• “ Completeness for some Beziau logics " (współautorstwo z Markiem Nasieniewskim), [w:] Handbook of the 5th World Congress and School on Universal Logic, Jean-Yves Beziau, Şafak Ural, Arthur Buchsbaum, İskender Taşdelen, Vedat Kamer (red.), İstanbul University, İstanbul, Turkey 2015 ss. 269-270.
• “ On some extensions of the class of MV-algebras", Logic and Logical Philosophy vol. 25, No 1 (2016), 35-49.
• “ A characterisation of some Béziau-like counterparts of quasi-regular modal logics " (co-author dr. habil. Marek Nasieniewski), [w:] Handbook of abstracts of the Fifth World Congress on the Square of Opposition, Easter Island - Rapa Nui, 11-15 listopada 2016, Jean-Yves Beziau, Arthur Buchsbaum, Manuel Correia (red.), Pontificia Universidad Católica de Chile, pp. 29-30.
• “ A Syntactic Characterisation of Modal Logic over Jaśkowski’s Discussive Logic D2 " (współautorstwo z Markiem Nasieniewskim), [w:] Srećko Kovač, Kordula Świetorzecka, (red.), Formal Methods and Science in Philosophy, Institute of Philosophy, Zagreb, 2017.
• „Logics with impossibility as the negation and regular extensions of the deontic logic D2” (współautorstwo z Markiem Nasieniewskim), Bulletin of the Section of Logic, vol. 46, nr 3–4 (2017), s. 261–280. DOI: 10.18778/0138-0680.46.3.4.06
• „Modal logics obtained by means of Jaśkowski's model of discussion” (współautorstwo z Markiem Nasieniewskim i Andrzejem Pietruszczakiem), [in:] Jean-Yves Beziau, Arthur Buchsbaum and Christophe Rey, with the assistance of Alvaro Altair and Yanis Ayari (eds.). „Handbook of the 6th World Congress and School on Universal Logic ”, ss. 450-451, Vichy University Campus France, 2018. ISBN: 978-2-9544948-1-4.
• „On a correspondence of positive and negative modalities on the basis of some non-normal logics” (współautorstwo z Markiem Nasieniewskim), [in:] Jean-Yves Beziau, Arthur Buchsbaum and Christophe Rey, with the assistance of Alvaro Altair and Yanis Ayari (eds.). „Handbook of the 6th World Congress and School on Universal Logic”, ss. 450-451, Vichy University Campus France, 2018. ISBN: 978-2-9544948-1-4
• „On a correspondence of positive and negative modalities on the basis of some nonnormal logics” (współautorstwo z Markiem Nasieniewskim), [in:] Jean-Yves Beziau, Arthur Buchsbaum, loannis Vandoulakis (eds.), Sixth World Congress on the Square of Opposition, s. 63, Crete, November 1-5, 2018, Handbook of abstracts.
• „A characterisation of some Z-like logics” (współautorstwo z Markiem Nasieniewskim), Logica Universalis, vol. 12, nr 1–2 (2018), s. 207–219. DOI: 10.1007/s11787-018-0184-9 (open access)

Referaty

• `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, February 5-7, 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, Potsdam, March 15-18, 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.
• `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.
• `Semantial and syntactial charaterisation of some extensions of the class of MV-algebras', Logic, Algebra and Truth Degrees 2014, (LATD 2014) Fourth conference of the working group on Mathematical Fuzzy Logic Vienna, Austria, 16-19 July 2014.
• `On some extensions of the class of MV-algebras', AAA 88th Workshop on General Algebra, Faculty of Mathematics and Information Science (The Warsaw University of Technology), Warsaw Center of Mathematics and Computer Science (University of Warsaw, Institute of Mathematics, Polish Academy of Sciences) Banach Center (IMPAS), Warszawa, Poland, 20-22.06.2014.
• “Some logics with impossibility as a negation" (co-author dr. habil. Marek Nasieniewski), Conference Nonclassical logics. Theory and Applications, , September 17-19, 2016; Łódź, Poland.
• “A characterisation of some Béziau-like counterparts of quasi-regular modal logics" (co-author dr. habil. Marek Nasieniewski), Fifth World Congress on the Square of Opposition , Easter Island - Rapa Nui, November 11-15, 2016.