Zainteresowania naukowe:

logiki równościowe,
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

Stopnie naukowe:

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.
Rozprawa habilitacyjna: Uniwersytet Mikołaja Kopernika, nauki humanistyczne (logika)

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

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

Dyżury w rok. akad. 2017-2018

wtorki godz. 9:00-10:30, Harmonijka, p. 105 (z napisem ,,Katedra Logiki'') tel. 56-611-36-26.

Praca dydaktyczna:

Zajęcia prowadzone w roku akademickim, semestr letni 2013/2014:

wykład z Teorii obliczeń dla studentów kognitywistyki (s2)
wykład z Logiki dla studentów teologii (s1)
ćwiczenia z Teorii obliczeń dla studentów kognitywistyki (s2)
ćwiczenia ‘Matematyczne podstawy kognitywistyki’ dla studentów kognitywistyki (s1).
ćwiczenia z Logiki dla studentów teologii (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 ", (współautorstwo z dr hab. Markiem Nasieniewskim), [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, ss. 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.
`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..07.2014.
`On some extensions of the class of MV-algebras', AAA 88th Workshop on General Algebra, Wydział Matematyki i Nauk Informacyjnych (Politechnika Warszawska), Warsaw Center of Mathematics and Computer Science (UW, IMPAN) Banach Center (IMPAN), Warszawa, Poland, 20-22.06.2014.
“Some logics with impossibility as a negation" (współautor dr hab. Marek Nasieniewski), Konferencja Logiki nieklasyczne. Teoria i zastosowania, (Nonclassical logics. Theory and Applications), , 17-19 września 2016; Łódź.
“A characterisation of some Béziau-like counterparts of quasi-regular modal logics" (współautor dr hab. dr hab. Marek Nasieniewski), Fifth World Congress on the Square of Opposition , Easter Island - Rapa Nui, 11-15 listopada 2016.