Zainteresowania naukowe:

• mereologia, geometria bezpunktowa, topologia bezpunktowa,
• logika modalna, logika klasyczna,
• logiczne systemy Leśniewskiego,
• rachunek nazw, sylogistyka arystotelesowska,
• filozofia logiki

Dydaktyka

Zajęcia prowadzone w roku akademickim 2022/2023:

• Wykłady i ćwiczenia „Logika II”, filozofia s2,
• Konwersatorium „Logika kwantyfikatorów”, filozofia s1,

Dyżury:

środy, godz. 15–16:30, Katedra Logiki

Tytuły i stopnie naukowe

Tytuł naukowy

• profesor nauk humanistycznych

Stopnie naukowe

• doktor habilitowany nauk humanistycznych; filozofia (logika, ontologia), Uniwersytet Mikołaja Kopernika

  Metamereologia (opublikowane: Wyd. UMK, Toruń 2000); recenzenci: prof. Jacek Paśniczek, prof. Jerzy Perzanowski i prof. Jerzy Pogonowski
  Nagroda Ministra Edukacji Narodowej i Sportu w 2002 r.

• doktor nauk humanistycznych; filozofia (logika), Uniwersytet Mikołaja Kopernika

  „Logiczno-filozoficzne i formalne problemy w metodologii standardowego rachunku nazw. Systemy i ich metateoria”; promotor: prof. Leon Gumański; recenzenci: prof. Grzegorz Malinowski i prof.  Wojciech Suchoń

  Publikacja: Bezkwantyfikatorowy rachunek nazw: Systemy i ich metateoria, Wyd. Adam Marszałek, Toruń, 1991

Tytuły zawodowe

• magister matematyki, matematyka (teoretyczna), Uniwersytet Łódzki, praca magisterska: „Twierdzenie Ekelanda i jego zastosowania w teorii optymalizacji”, promotor: prof. Lech Włodarski
• technik, elektromechanika ogólna, Technikum Elektryczne w Koluszkach

Promotor przewodów doktorskich

• dr hab. Rafał Palczewski, „Problemy antyrealizmu w świetle modalnej logiki epistemicznej”, UMK, Wydział Humanistyczny, Toruń 2006
• dr Maciej Nowicki, „Quod vere sit deus. Logiczna analiza dowodu ontologicznego św. Anzelma”, UMK, Wydział Humanistyczny, Toruń 2006
• dr Monika Dejnecka, „McTaggarta dowód na nierealność czasu”, UMK, Wydział Humanistyczny, Toruń 2011
• dr Grzegorz Sitek, „Konstrukcje nowych pojęć w Tarskiego geometrii brył i ich zastosowanie w metaarytmetyce”, Wydział Humanistyczny UMK, Toruń 2016 (doktorat z wyróżnieniem)

Redagowanie czasopisma naukowego

Współzałożyciel (wspólnie z prof. Jerzym Perzanowskim) międzynarodowego czasopisma Logic and Logical Philosophy. W latach 1993–2002 współredaktor pierwszych dziesięciu zeszytów. Od września 2004 ponownie współredaktor LLP. Od 2006 r. LLP jest kwartalnikiem.
Linki: Üstrona LLP i ÜAkademicka Platforma Czasopism (Open Journal Systems).

Logic and Logical Philosophy znajduje się w wykazie czasopism punktowanych Ministerstwa Nauki i Szkolnictwa Wyższego. Na mocy rozporządzenia ministra z dnia 31 lipca 2019 r. prace opublikowane w LLP otrzymują 100 punktów.

Publikacje naukowe

Monografie

• Foundations of the Theory of Parthood. A Study of Mereology, Trends in Logic, vol. 54; 2020, Springer International Publishing, xiii+285 ss. https://link.springer.com/book/10.1007/978-3-030-36533-2. DOI: https://doi.org/10.1007/978-3-030-36533-2
  Recenzja: Studia Logica, vol. 109, nr 3 (2021), s. 683–686. DOI: https://doi.org/10.1007/s11225-020-09918-x
  Za tę monografię autor został laureatem IV edycji konkursu o Nagrodę Naukową im. Jana Łukasiewicza organizowanego przez Polskie Towarzystwo Logiki i Filozofii Nauki. Nagroda przyznawana jest za wybitną monografię naukową z zakresu logiki, filozofii nauki oraz zastosowań logiki w podstawach matematyki, informatyce i lingwistyce.
• Metamereology, Toruń 2018, The Nicolaus Copernicus University Scientific Publishing House, 328 ss. PDF (open access). DOI: 10.12775/3961-4
  Recenzja: Studia Logica, vol. 109, nr 6 (2021), s. 1463–1466. DOI: https://doi.org/10.1007/s11225-021-09947-0
• Podstawy teorii części, Toruń 2013, Wyd. Naukowe UMK, 287 ss. Link
• Metamereologia, Toruń 2000, Wyd. UMK, 235 ss. Link
• Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria, Toruń 1991, Wyd. Adam Marszałek, 129 ss. PDF

Redakcja naukowa monografii

• Essays in Logic and Ontology, Poznań Studies in the Philosophy of the Sciences and the Humanities, tom 91, Amsterdam/New York 2006, GA: Rodopi, 400 ss. (wspólnie z Jackiem Malinowskim). Link
• Wokół filozofii logicznej, Toruń 2004, Wydawnictwo UMK, 412 ss. (wspólnie z Jackiem Malinowskim). Link
• Od teorii literatury do ontologii świata, Toruń 2003, Wydawnictwo UMK, 404 ss. (wspólnie z Jerzym Perzanowskim). Link
• Logika & Filozofia Logiczna. FLFL 1996–1998, Toruń 2000, Wydawnictwo UMK, 499 ss. (wspólnie z Jerzym Perzanowskim).
• Byt, Logos, Matematyka. Filozofia/Logika: Filozofia Logiczna 1995, Toruń 1997, Wydawnictwo UMK, 408 ss. (wspólnie z Jerzym Perzanowskim).
• Filozofia/Logika: Filozofia Logiczna 1994, Toruń 1995, Wydawnictwo UMK, 336 ss. (wspólnie z Cezarym Gorzką i Jerzym Perzanowskim).

Artykuły w czasopismach naukowych (od 2000 r.)

• „Some additional axioms for t-normal logics.\ Defining K45, KB4, KD45 and S5 without using modal rules”, Bulletin of the Section of Logic, 23 ss. (2024; Early View). DOI: 10.18778/0138-0680.2024.12
• „Russell's theories of events and instants from the perspective of point-free ontologies in the tradition of the Lvov-Warsaw school”, History and Philosophy of Logic, vol. 45, nr 2 (2024), s. 161 5–195. DOI: 10.10.2478/sh-2024-0002
• „From the history of Leśniewski's mereology”, Studia Humana, vol. 13, nr 1 (2024), s. 5–16. Opublikowane online: 2023. DOI: 10.10.2478/sh-2024-0002 (open access)
• „Grzegorczyk points and filters in Boolean contact algebras” (współautor R. Gruszczyński), The Review of Symbolic Logic, vol. 16, nr 2 (2023), s. 509–528. Opublikowane online: 2021-09-27. DOI: 10.1017/S1755020321000459 (open access)
• „From the History of Lesniewski’s Mereology”), Studia Humana. Opublikowane online: 2023. DOI: 10.2478/sh-2024-0002 (open access)
• „Simplified Kripke-style semantics for some normal modal logics” (współautorzy M. Klonowski i Y. Petrukhin), Studia Logica, vol. 108, nr 3 (2020), s. 451–476. Opublikowane online: 2019-03-20. DOI: 10.1007/s11225-019-09849-2 (open access)
• „A modal extension of Jaśkowski's discussive logic D₂” (współautorzy K. Mruczek-Nasieniewska i M. Nasieniewski), Logic Journal of the IGPL, vol. 27, nr 4 (2019), s. 451–477. DOI: 10.1093/jigpal/jzz014
• „Study in Grzegorczyk point-free topology. Part II: Spaces of points” (współautor R. Gruszczyński), Studia Logicavol. 107, nr 4 (2019), s. 809–843. Opublikowane online: 2018-08-23. DOI: 10.1007/s11225-018-9822-8 (open access)
• „On the definability of Leśniewski's copula `is' in some ontology-like theories” (współautor M. Łyczak), Bulletin of the Section of Logic, vol. 47, nr 4 (2018), s. 233–263. DOI: 10.18778/0138-0680.47.4.02 (open access)
• „A comparison of two systems of point-free topology” (współautor R. Gruszczyński), Bulletin of the Section of Logic, vol. 47, nr 3 (2018), s. 187–200. DOI: 10.18778/0138-0680.47.3.4.04 (link, open access)
• „Study in Grzegorczyk point-free topology. Part I: Separation and Grzegorczyk structures” (współautor R. Gruszczyński), Studia Logica, vol. 106, nr 6 (2018), s. 1197–1238. Opublikowane online: 2018-02-20. DOI: 10.1007/s11225-018-9786-8 (open access)
• „Pure modal logic of names and tableau systems” (współautor T. Jarmużek), Studia Logica, vol. 106, nr 6 (2018), s. 1261–1289. Opublikowane online: 2018-03-17. DOI: 10.1007/s11225-018-9788-6 (open access)
• „Simplified Kripke style semantics without possible worlds for some modal logics” (współautorzy M. Klonowski i Y. Petrukhin), Logiko-Filosofskie Studii, vol. 16, nr 1–2 (2018), s. 117–118. PDF
• „On theses without iterated modalities of modal logics between C1 and S5. Part 2”, Bulletin of the Section of Logic, vol. 46, nr 3–4 (2017), s. 197–218. DOI: 10.18778/0138-0680.46.3.4.03 (open access)
• „On theses without iterated modalities of modal logics between C1 and S5. Part 1”, Bulletin of the Section of Logic, vol. 46, nr 1–2 (2017), s. 111–133. DOI: 10.18778/0138-0680.46.1.2.09 (open access)
• „Classical mereology is not elementarily axiomatizable”, Logic and Logical Philosophy, vol. 24, nr 4 (2015), s. 485–498. DOI: 10.12775/LLP.2015.017
• „A general concept of being a part of a whole”, Notre Dame Journal of Formal Logic, vol. 55, nr 3 (2014), s. 359–381. DOI: 10.1215/00294527-2688069
• „Semantical investigations on some weak modal logics. Part II”, Bulletin of the Section of Logic, vol. 41, nr 3/4 (2012), s. 109–130. http://repozytorium.umk.pl/handle/item/6987
• „Semantical investigations on some weak modal logics. Part I”, Bulletin of the Section of Logic, vol. 41, nr 1/2 (2012), s. 33–50. http://repozytorium.umk.pl/handle/item/6986
• „On the weakest modal logics defining Jaśkowski's logic D₂ and the D₂-consequence ” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 41, nr 3/4 (2012), s. 215–232. PDF
• „Laudacja na 90-lecie profesora Leona Gumańskiego – redaktora Ruchu Filozoficznego w latach 1981–2008”, Ruch Filozoficzny, tom. 68, nr 4 (2011), s.  683–685.
• „A method of generating modal logics defining Jaśkowski's discussive logic D₂” (współautor M. Nasieniewski), Studia Logica, vol. 97, nr 1 (2011), s. 161–182 (zeszyt specjalny „The Legacy of Newton da Costa”). DOI: 10.1007/s11225-010-9302-2
• „How to define a mereological (collective) set” (współautor R. Gruszczyński), Logic and Logical Philosophy, vol. 19, nr 4 (2010), s. 309–328. DOI: 10.12775/LLP.2010.011
• „Simplified Kripke style semantics for some very weak modal logics”, Logic and Logical Philosophy, vol. 18, nr 3–4 (2009), s. 271–296. DOI: 10.12775/LLP.2009.013
• „Semantics for regular logics connected with Jaśkowski's D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 3/4 (2009), s. 173–188. PDF
• „Simplified Kripke style semantics for modal logics K45, KB4 and KD45”, Bulletin of the Section of Logic, vol. 38, nr 3/4 (2009), s. 163–172. http://repozytorium.umk.pl/handle/item/6988
• „Space, points and mereology. On foundations of point-free Euclidean geometry” (współautor R. Gruszczyński), Logic and Logical Philosophy, vol. 18, nr 2 (2009), s. 145–188. DOI: 10.12775/LLP.2009.009
• „New axiomatizations of the weakest regular modal logic defining Jaśkowski's logic D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, nr 1/2 (2009), s. 45–50. PDF
• „The tense logic for Master Argument in Prior's reconstruction” (współautor T. Jarmużek), Studia Logica, vol. 92, nr 1 (2009), s. 85–108. DOI: 10.1007/s11225-009-9187-0
• „Full development of Tarski's geometry of solids” (współautor R. Gruszczyński), The Bulletin of Symbolic Logic, vol. 14, nr 4 (2008), s.  481–540. PS    DOI: 10.2178/bsl/1231081462
• „The weakest regular modal logic defining Jaśkowski's logic D₂” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 37, nr 3/4 (2008), s. 197–210. PDF
• „Pieri's structures” (współautor R. Gruszczyński), Fundamenta Informaticae, vol. 81, nr 1–3 (2007), s. 139–154. Link PDF (strona 1)
• „Pieces of mereology”, Logic and Logical Philosophy, vol. 14, nr 2 (2005), s.  211–234. MathSciNet DOI: 10.12775/LLP.2005.014
• „Completeness of minimal positional calculus” (współautor T. Jarmużek), Logic and Logical Philosophy, vol. 13 (2004), s. 147–162. DOI: 10.12775/LLP.2004.009
• „The axiomatization of Horst Wessel's strict logical consequence relation”, Logic and Logical Philosophy, vol. 13 (2004), s. 121–138. DOI: 10.12775/LLP.2004.007
• „The consequence relation preserving logical information”, Logic and Logical Philosophy, vol. 13 (2004), s. 89–120. DOI: 10.12775/LLP.2004.006
• „Paradoks Russella a początki mereologii”, Ruch Filozoficzny, tom LIX, nr 1 (2002), s. 123–129.

Rozdziały w monografiach (od 2000 r.)

• „Ontologia bezpunktowa na przykładzie formalizacji teorii zdarzeń Bertranda Russella”, strony 143–182 w Bóg, czas i wolność. Wokół problemu przyszłych zdarzeń przygodnych, Anna Maria Karczewska i Anna Starościc (red.), Lublin: TN KUL 2020. link
• „Metamathematics of mereology”, strony 361–367 w Handbook of Mereology, H. Burkhardt, J. Seibt, G. Imaguire i S. Gerogiorgakis (red.), Munich: Philosophia Verlag, 2017.
• „Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (współautor M. Nasieniewski), strony 100–104 w Desâtye Smirnovskie čteniâ po logike: Materialy meždunarodnoj naučnoj konferencii, 15–17 iunâ 2017 g., V. I. Markin (ed.), Moskva: Sovremennye Tetradi, 2017. Link
• „On modal logics defining Jaśkowski-like discussive logics” (współautor M. Nasieniewski), rozdział 9, s. 213–228, w New Directions in Paraconsistent Logic, J.-Y. Beziau, M. Chakraborty i S. Dutta (red.), vol. 152 serii „Springer Proceedings in Mathematics & Statistics”, Springer Indie, 2015. DOI: 10.1007/978-81-322-2719-9_9
• „A method of generating modal logics defining Jaśkowski's discussive D₂-consequence” (współautor M. Nasieniewski), rozdział 6, s. 95–123 w Logic, Reasoning & Rationality, E. Weber, D. Wouters i J.  Meheus (red.), seria „Logic, Argumentation & Reasoning”, vol. 5, Springer, 2014. DOI: 10.1007/978-94-017-9011-6_6
• „The relations of supremum and mereological sum in partially ordered sets” (współautor R. Gruszczyński), rozdział 6, s. 123–140, w Mereology and the Sciences. Parts and Wholes in the Contemporary Scientific Context, C. Calosi i P. Graziani (red.), vol. 371 serii Synthese Library „Studies in Epistemology, Logic, Methodology, and Philosophy of Science”, Springer 2014. DOI: 10.1007/978-3-319-05356-1_6
• „Decidability methods for modal syllogisms” (współautor T. Jarmużek), s. 95–112 w Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek i M. Zawidzki (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014.
• „Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (współautor M. Nasieniewski), s. 149–163 w Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek i M. Zawidzki (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014.
• „On modal logics defining Jaśkowski's D₂-consequence” (współautor M. Nasieniewski), rozdział 9, s. 141–160, w Paraconsistency: Logic and Applications, K. Tanaka, F. Berto, E. Mares i F. Paoli (red.), tom 26 serii „Logic, Epistemology and the Unity of Science”, Vol. 26, Springer 2013. DOI: 10.1007/978-94-007-4438-7_9
• „Ogólna koncepcja bycia częścią całości. Mereologia a nieprzechodnia relacja bycia częścią”, s. 205–228 w Identyczność znaku czy znak identyczności?, J. Golińska-Pilarek i A. Wójtowicz (red.), Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2012.
• „An outline of the Anselmian theory of God” (współautorzy T. Jarmużek i M.  Nowicki), s. 317–330 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi DOI: 10.1163/9789004332966_021.
• „On applications of truth-value connectives for testing arguments with natural connectives”, s. 143–156 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_010
• „Editorial introduction. Logic in Toruń (współautor J. Malinowski)”, s. 9–16 w Essays in Logic and Ontology, J. Malinowski i A. Pietruszczak (red.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_002
• „Tadeusza Czeżowskiego teoria zdań jednostkowych”, s. 79–92 w Tadeusz Czeżowski (1989–1981): Dziedzictwo idei: logika – filozofia – etyka, W. Tyburski i R. Wiśniewski (red.), Toruń 2002: Wyd. UMK.
• „Kawałki mereologii”, s. 357–374 w Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.
• „Charakterystyka systemów relacyjnych mających logikę równą czystej logice predykatów” (współautor G. Pietruszczak), s. 183–206 w Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.
• „O teoriach pierwszego rzędu związanych z elementarnym fragmentem ontologii Leśniewskiego”, s. 127–168 w Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski i A. Pietruszczak (red.), Toruń 2000: Wyd. UMK.

Abstrakty (od 2000 r.)

• „Towards a correspondence theory in region-based theories of space" (” (współautor R. Gruszczyński), strony 46–47 w Volume of Abstracts, BLAST, New Mexico State University, Las Cruces, NM, 2021.
• „Modal logics obtained by means of Jaśkowski's model of discussion” (współautorzy M. Nasieniewski i K. Mruczek-Nasieniewska), strony 438–439 w Handbook of the 6th World Congress and School on Universal Logic, J.-Y. Beziau, A. Buchsbaum i Ch. Rey (red.), Université Clermont Auvergne, Vichy, France, 2018. ISBN: 978-2-9544948-1-4. PDF
• „Modal syllogistic de re: Semantics, tableaus, estimations and square of oppositions” (współautor T. Jarmużek), strony 28–29 w Fifth World Congress on the Square of Opposition. Handbook of Abstracts, J.-Y. Beziau, A. Buchsbaum i M. Correia (red.), Pontificia Universidad Catótlica de Chile, 2016.
• „Tableaus for numerical syllogistic” (współautor T. Jarmużek), w Handbook of the World Congress on the Square of Opposition IV, J-Y. Béziau i K. Gan-Krzywoszyńska (red.), Pontifical Lateran University, Watykan 2014.
• „Modal logics connected to Jaśkowski's logic D₂” (współautor M.  Nasieniewski), strony 31–32 w Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum i A. Altair (red.), Indian Statistical Institute, Kolkata 2014. PDF
• „On modal logics defining a Jaśkowski-like discussive logic” (współautor M. Nasieniewski), strony 67–68 w Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum i A. Altair (red.), Indian Statistical Institute, Kolkata 2014. PDF
• „Semantics and tableaus for modal syllogistic de re” (współautor T. Jarmużek), w Handbook of 4th World Congress and School on Universal Logic, J-Y. Béziau, A. Buchsbaum i A. Costa-Leite (red.), Editora Kelps, Goiânia 2013.

Pozostałe prace (przed 2000 r.)

• „Zur Axiomatisierung der strikten logischen Folgebeziehung Horst Wessels”, s. 215–228 w Terminigebrauch und Folgebeziehung: Festband zu Ehren von Professor Horst Wessel, U. Shefler i K. Wuttich (red.), Berlin 1998: Logos Verlag.
• „O zbiorze możliwych światów w kracie sytuacji elementarnych”, s. 67–81 w Skłonność metafizyczna: Bogusławowi Wolniewiczowi w darze, M. Omyła (red.), Warszawa 1997.
• „Co to jest mereologia”, s. 115–127 w Studia z filozofii i logiki, C.  Gorzka i R. Jadczak (red.), Toruń 1997: Wyd. UMK.
• „Aksjomatyzacja relacji ścisłego wynikania logicznego Horsta Wessla”, s. 281–297 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK.
• „Wynikanie zachowujące informację logiczną”, s. 251–280 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK.
• „Próba formalizacji pojęcia noematu” (współautor W. Krysztofiak), s. 161–198 w Byt, Logos, Matematyka, J. Perzanowski i A. Pietruszczak (red.), Toruń 1997: Wyd. UMK. PDF
• „An elementary proof of equivalence of conditions in definition of conditionally distributive lattices” (współautor M. Nasieniewski), Bulletin of the Section of Logic, vol. 26, nr 4 (1997), s. 193–196. PDF
• „Cardinalities of models for monadic predicate logic (with equality and individual constants)”, Reports on Mathematical Logic, nr 30 (1996), s. 49–64. PDF
• „Mereological sets of distributive classes”, Logic and Logical Philosophy, vol. 4 (1996), s. 105–122. DOI: 10.12775/LLP.1996.005
• „O pewnej interpretacji zdań warunkowych”, Ruch Filozoficzny, tom LII, nr 3–4 (1995), s. 437–442.
• „Mereologiczne zbiory klas dystrybucyjnych”, s. 97–114 w Filozofia/Logika: Filozofia Logiczna 1994, J. Perzanowski, A. Pietruszczak i C. Gorzka (red.), Toruń 1995: Wyd. UMK.
• „Cardinalities of models for pure calculi of names”, Reports on Mathematical Logic, nr  28 (1994), s. 87–102.
• „Informacja logiczna i jej zastosowanie w teorii wynikania”, Ruch Filozoficzny, tom LI, nr 3–4 (1994), s. 341–350.
• „Stała Leśniewskiego w teoriach sylogistycznych: Semantyczne badania pewnych kwantyfikatorowych rachunków nazw”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 45–76.
• „Rozstrzygalność w bezkwantyfikatorowym rachunku nazw”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 21–43.
• „O ścisłym wynikaniu logicznym i jego modyfikacji”, Acta Universitatis Nicolai Copernici, Logika III (1992), s. 5–20.
• „Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami”, Acta Universitatis Nicolai Copernici, Logika II (1991), s.  41–52.
• „Rachunek zdań z implikacją konektywną Reichenbacha”, Acta Universitatis Nicolai Copernici, Logika II (1991), s. 23–39.
• „O pewnym ujęciu logiki tradycyjnej”, Acta Universitatis Nicolai Copernici, Logika I (1991), s. 31–41.
• „Standardowe rachunki nazw z funktorem Leśniewskiego”, Acta Universitatis Nicolai Copernici, Logika I (1991), s. 5–29.
• „Rachunek nazw Wedberga a system S1 Iwanusia”, Ruch Filozoficzny, tom XLV (1988), nr 3, s. 275–282.
• „Pewien boole'owski rachunek nazw a elementarna algebra Boole'a”, Ruch Filozoficzny, tom XLV, nr 1 (1988), s. 59–66.
• „O logice tradycyjnej i rachunku nazw dopuszczającym podstawienia nazw pustych”, Ruch Filozoficzny, tom XLIV, nr 2 (1987), s. 158–166.

Wybrane referaty na konferencjach:

• „Towards a correspondence theory in region-based theories of space” (wspólnie z R. Gruszczyńskim), BLAST, New Mexico State University, Las Cruces, NM, online, 9–13 czerwca 2021.
• „Grzegorczyk points and filters in Grzegorczyk contact algebras” (wspólnie z R. Gruszczyńskim), Applications of Algebra, Zakopane, 9–15 marca 2020.
• „On a modal discussive logic corresponding to the extended model of discussion” (wspólnie z K. Mruczek-Nasieniewską i M. Nasieniewskim), Creativity 2019, 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil, 8–13 grudnia 2019.
• „Non-standard Kripke-style semantics for the logics CD, CT, KD and KT. A few bimodal logics with models having one accessibility relation”, Advances in Philosophical Logic, XI Autumn Conference in Logic, Lublin, 29–30 November, 2019.
• „Uproszczona semantyka Kripkego dla pewnych normalnych logik modalnych”, XI Polski Zjazd Filozoficzny, Lublin, 10 września 2019.
• „Representation theorems for Grzegorczyk contact algebras” (wspólnie z R. Gruszczyńskim), Syntax Meets Semantics 2019 (SYSMICS 2019), 21–25 January 2019, University of Amsterdam.
• „Modal logics obtained by means of Jaśkowski's model of discussion” (wspólnie z M. Nasieniewskim i K. Mruczek-Nasieniewską), 6th World Congress and School on Universal Logic, Vichy, 21–26 czerwca 2018.
• „Logic of Anselmian ontological proof” (wspólnie z T. Jarmużkiem), Chinese-Polish Workshop on Applied Logic, Pekin, School of Philosophy at Beijing Normal University, 9–10.12.2017.
• „Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (wspólnie z M. Nasieniewskim), The Tenth Smirnov Readings in Logic, Moscow, Lomonosov Moscow State University, 15–17.06.2017.
• „On Jaśkowski's discussive logic and Jaśkowski's discussive consequence” (wspólnie z M. Nasieniewskim), Formal Methods and Science in Philosophy II, Dubrownik (Chorwacja), 4–6.05.2017.
• „O tezach bez iterowanych modalności logik znajdujących się pomiędzy S0.5^o a S5”, X Polski Zjazd Filozoficzny, Poznań, 17.09.2015.
• „A modal logic over Jaśkowski's discussive logic D₂” (współnie z M. Nasieniewskim), Formal Methods and Science in Philosophy, Dubrownik (Chorwacja), 26–28.03.2015.
• „A formalization of Anselmian ontological argument” (współnie z T. Jarmużkiem), Formal Methods and Science in Philosophy, Dubrownik (Chorwacja), 26–28.03.2015.
• „Decidability methods for modal syllogisms” (współnie z T. Jarmużkiem), Trends in Logic XIII, Łódź, 2–5.07.2014.
• „Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (współnie z M. Nasieniewskim), Trends in Logic XIII, Łódź, 2–5.07.2014.
• „Tableaus for numerical syllogistic” (współnie z T. Jarmużkiem), Fourth World Congress on the Square of Opposition, Watykan, 5–9.05.2014.
• „On modal logics defining a Jaśkowski-like discussive logic” (współnie z M. Nasieniewskim), 5th World Congress on Paraconsistency, Kolkata (Indie), 13–17.02.2014.
• „Modal logics connected to Jaśkowski's logic D₂” (współnie z M.  Nasieniewskim), 5th World Congress on Paraconsistency, Kolkata (Indie), 13–17.02.2014.
• „Semantics and tableaus for modal syllogistic de re” (współnie z T. Jarmużkiem), 4th World Congress and School on Universal Logic, Rio de Janeiro, 29.03.–7.04.2013.
• „On some non-classical systems of mereology” (współnie z R. Gruszczyńskim), The Fifth Conference: Non-Classical Logic. Theory and Applications, Toruń, 27–29.09.2012.
• „On the weakest modal logics defining Jaśkowski's logic D₂ and D₂-consequence” (współnie z M. Nasieniewskim), 4th Conference: Non-Classical Logic. Theory and Applications, Łódź, 27–29.09.2011.
• „Sums, fusions and aggregates in theories of parthood” (współnie z R. Gruszczyńskim), Applications of Algebra in Logic and Computer Science XV, Zakopane, 7–12.03.2011.
• „Logical consequence and logical information” (współnie z R. Gruszczyńskim), Applications of Algebra in Logic and Computer Science XIV, Zakopane, 8–14.03.2010.
• „A method of generating modal logics defining Jaśkowski's discussive logic D₂” (współnie z M. Nasieniewskim), Science, Truth and Consistency. CLE / AIPS Event, Campinas, Brazil, 23–28.08.2009.
• „On Grzegorczyk's pointless topology. Atomic structures” (współnie z R. Gruszczyńskim), Topology, Algebra and Categories in Logic, Amsterdam, 7–11.07.2009.
• „Master Argument: time, determinism and branching structures” (współnie z T.  Jarmużkiem), Studia Logica International Conference, Logic and the Foundations of Physics: Space, Time and Quanta, Trends in Logic VI, Brussels, 11–12.12.2008.
• „On modal logics defining Jaśkowski's D₂-consequence” (współnie z M. Nasieniewskim), The Fourth World Congress of Paraconsistency, Melbourne, 13–18.07.2008.
• „Full development of Tarski's geometry of solids” (współnie z R. Gruszczyńskim) Applications of Algebra XII, Zakopane, Poland, 3–8.03.2008.
• „Constructing topological spaces from mereological fields” (współnie z R. Gruszczyńskim), Studia Logica International Conference, Many-valued Logic and Cognition, Trends in Logic V, Guangzhou, China, 6–9.07.2007.
• „Remarks on Tarski's geometry of solids” (współnie z R. Gruszczyńskim), Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruń, Poland, 1–4.08.2006.