prof. dr habil. Andrzej Pietruszczak

full professor

Department of Logic

SPECIALIZATION: logic, ontology

g Andrzej.Pietruszczak(at)umk.pl

4 + 48 56 611 46 88

Research fields:

• mereology, pointless geometry, pointless topology,
• modal logic, classical logic,
• Leśniewski's logical systems,
• calculus of names, Aristotelian Syllogistic,
• philosophy of logic.

Education and degrees:

• Professor of humanities (philosophy)
• Habilitation in philosophy (logic, ontology), Nicolaus Copernicus University

  Dissertation: Metamereologia (Metamereology); Referees: prof. Jacek Paśniczek, prof. Jerzy Perzanowski and prof. Jerzy Pogonowski

• Ph.D. in philosophy (logic), Nicolaus Copernicus University

  Ph.D. dissertation: “Logiczno-filozoficzne i formalne problemy w metodologii standardowego rachunku nazw: Systemy i ich metateoria” (Calculus of Names); Supervisor: prof. Leon Gumański; Referees: prof. Grzegorz Malinowski and prof. Wojciech Suchoń

  Publication: Bezkwantyfikatorowy rachunek nazw: Systemy i ich metateoria (Calculus of Names. Systems and their Metatheory), Toruń 1991: Wyd. Adam Marszałek

• M.Sc., Mathematics, University of Łódź

  M.Sc. Thesis: “Twierdzenie Ekelanda i jego zastosowania w teorii optymalizacji” (Ekeland Theorem and its applications in theory of optimization); Supervisor: prof. Lech Włodarski

Journal Editing

1993–2002 editor of Logic and Logical Philosophy with prof. Jerzy Perzanowski. Since September 2004 editor of LLP. Since 2006 the Journal appears quarterly.
Links: ÜHome page of LLP and ÜAPCZ Platform (Open Journal Systems).

Publications

Books

• Foundations of the Theory of Parthood. A Study of Mereology, Trends in Logic, vol. 54; 2020, Springer International Publishing, xiii+285 pp. link. DOI: https://doi.org/https://doi.org/10.1007/978-3-030-36533-2
  Review: Studia Logica, vol. 109, no 3 (2021), pp. 683–686. DOI: https://doi.org/10.1007/s11225-020-09918-x
• Metamereology, Toruń 2018, The Nicolaus Copernicus University Scientific Publishing House, 328 pp. PDF (open access). DOI: 10.12775/3961-4
  Review: Studia Logica, vol. 109, no 6 (2021), pp. 1463–1466. DOI: https://doi.org/10.1007/s11225-021-09947-0
• Podstawy teorii części (Foundations of theory of parts), Toruń 2013, Nicolaus Copernicus University Press, 287 pp.
• Metamereologia (Metamereology), Toruń 2000, Nicolaus Copernicus University Press, 235 pp.
• Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria (Calculus of Names. Systems and their Metatheory), Toruń 1991, Wyd. Adam Marszałek, 129 pp. PDF









Works Edited

• Essays in Logic and Ontology, Poznań Studies in the Philosophy of the Sciences and the Humanities, Vol. 91, Amsterdam/New York 2006, GA: Rodopi, 400 pp. (with Jacek Malinowski). Link
• Wokół filozofii logicznej, Toruń 2004, Nicolaus Copernicus University Press, 412 pp. (with Jacek Malinowski). Link<
• Od teorii literatury do ontologii świata, Toruń 2003, Nicolaus Copernicus University Press, 404 pp. (with Jerzy Perzanowski). Link
• Logika & Filozofia Logiczna. FLFL 1996–1998, Toruń 2000, Nicolaus Copernicus University Press, 499 pp. (with Jerzy Perzanowski).
• Byt, Logos, Matematyka. Filozofia/Logika: Filozofia Logiczna 1995, Toruń 1997, Nicolaus Copernicus University Press, 408 pp. (edited with Jerzy Perzanowski).
• Filozofia/Logika: Filozofia Logiczna 1994, Toruń 1995, Nicolaus Copernicus University Press, 336 pp. (edited with Jerzy Perzanowski and Cezary Gorzka).







Papers

• “Some additional axioms for t-normal logics.\ Defining K45, KB4, KD45 and S5 without using modal rules”, Bulletin of the Section of Logic, 23 pp. (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, no 2 (2024), pp. 161–195. DOI: 10.1080/01445340.2023.229341
• “From the history of Leśniewski's mereology”, Studia Humana, vol. 13, no 1 (2024), pp. 5–16. Online: 2023. DOI: 10.10.2478/sh-2024-0002 (open access)
• “Grzegorczyk points and filters in Boolean contact algebras” (with R. Gruszczyński), The Review of Symbolic Logic, vol. 16, no 2 (2023), pp. 509–528. Published online: 2021-09-27. DOI: 10.1017/S1755020321000459 (open access)
• „From the History of Lesniewski’s Mereology”), Studia Humana. Published online: 2023. DOI: 10.2478/sh-2024-0002 (open access)
• “Towards a correspondence theory in region-based theories of space” (with R. Gruszczyński), pages 46–47 in Volume of Abstracts, BLAST, New Mexico State University, Las Cruces, NM, 2021.
• “Ontologia bezpunktowa na przykładzie formalizacji teorii zdarzeń Bertranda Russella”, pages 143–182 in Bóg, czas i wolność. Wokół problemu przyszłych zdarzeń przygodnych, Anna Maria Karczewska and Anna Starościc (eds.), Lublin: TN KUL 2020. link
• “Simplified Kripke-style semantics for some normal modal logics” (with M. Klonowski and Y. Petrukhin), Studia Logica, vol. 108, no 3 (2020), pp. 451–476. Published online: 2019-03-20. DOI: 10.1007/s11225-019-09849-2 (open access)
• “A modal extension of Jaśkowski's discussive logic D₂” (with K. Mruczek-Nasieniewska and M. Nasieniewski), Logic Journal of the IGPL, vol. 27, no. 4 (2019), pp. 451–477. DOI: 10.1093/jigpal/jzz014
• “Study in Grzegorczyk point-free topology. Part II: Spaces of points” (with R. Gruszczyński), Studia Logica, vol. 107, no. 4 (2019), pp. 809–843. Published 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” (with M. Łyczak), Bulletin of the Section of Logic, vol. 47, no. 4 (2018), pp. 233–263. DOI: 10.18778/0138-0680.47.4.02 (open access)
• “A comparison of two systems of point-free topology” (with R. Gruszczyński), Bulletin of the Section of Logic, vol. 47, no. 3 (2018), pp. 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” (with R. Gruszczyński), Studia Logica, vol. 106, no. 6 (2018), pp. 1197–1238. Published online: 2018-02-20. DOI: 10.1007/s11225-018-9786-8 (open access)
• “Pure modal logic of names and tableau systems” (with T. Jarmużek), Studia Logica, vol. 106, no 6 (2018), pp. 1261–1289. Published online: 2018-03-17. DOI: 10.1007/s11225-018-9788-6 (open access)
• “Simplified Kripke style semantics without possible worlds for some modal logics” (with M. Klonowski and Y. Petrukhin), Logiko-Filosofskie Studii, vol. 16, no. 1–2 (2018), pp. 117–118. PDF
• “Modal logics obtained by means of Jaśkowski's model of discussion” (with M. Nasieniewski and K. Mruczek-Nasieniewska), pages 438–439 in Handbook of the 6th World Congress and School on Universal Logic, J.-Y. Beziau, A. Buchsbaum and Ch. Rey (eds.), Université Clermont Auvergne, Vichy, France, 2018. ISBN: 978-2-9544948-1-4. PDF
• “On theses without iterated modalities of modal logics between C1 and S5. Part 2”, Bulletin of the Section of Logic, vol. 46, no. 3–4 (2017), pp. 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, no. 1–2 (2017), pp. 111–133. DOI: 10.18778/0138-0680.46.1.2.09 (open access)
• “Metamathematics of mereology”, pages 361–367 in Handbook of Mereology, H. Burkhardt, J. Seibt, G. Imaguire and S. Gerogiorgakis (eds.), Munich: Philosophia Verlag, 2017.
• “Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (with M. Nasieniewski), pages 100–104 in 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
• “Modal syllogistic de re: Semantics, tableaus, estimations and square of oppositions” (with T Jarmużek), pages 28–29 in Fifth World Congress on the Square of Opposition. Handbook of Abstracts, J.-Y. Beziau, A. Buchsbaum, and M. Correia (red.), Pontificia Universidad Catótlica de Chile, 2016.
• “On modal logics defining Jaśkowski-like discussive logics” (with M. Nasieniewski), chapter 9, pp. 213–228, in New Directions in Paraconsistent Logic, J.-Y. Beziau, M. Chakraborty and S. Dutta (eds.), vol. 152 of the series “Springer Proceedings in Mathematics & Statistics'”, Springer India, 2015. DOI: 10.1007/978-81-322-2719-9_9
• “Classical mereology is not elementarily axiomatizable”, Logic and Logical Philosophy, vol. 24, no. 4 (2015), pp. 485–498. DOI: 10.12775/LLP.2015.017
• “A method of generating modal logics defining Jaśkowski's discussive D₂-consequence” (with M. Nasieniewski), Chapter 6, pp. 95–123 in Logic, Reasoning & Rationality, E. Weber, D. Wouters, and J.  Meheus (eds.), Series “Logic, Argumentation & Reasoning”, Vol. 5, Springer, 2014. DOI: 10.1007/978-94-017-9011-6_6
• “A general concept of being a part of a whole”, Notre Dame Journal of Formal Logic, vol. 55, no. 3 (2014), pp. 359–381. DOI: 10.1215/00294527-2688069
• “The relations of supremum and mereological sum in partially ordered sets” (with R. Gruszczyński), Chapter 6, pp. 123–140, in Mereology and the Sciences. Parts and Wholes in the Contemporary Scientific Context, C. Calosi and P. Graziani (eds.), vol. 371 of 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” (with T. Jarmużek), pp. 95–112 in Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek and M. Zawidzki (eds.), Łódź University Press, Łódź 2014.
• “Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (with M. Nasieniewski), pp. 149–163 in Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek and M. Zawidzki (eds.), Łódź University Press, Łódź 2014.
• “Tableaus for numerical syllogistic” (with T. Jarmużek), in Handbook of the World Congress on the Square of Opposition IV, J-Y. Béziau and K. Gan-Krzywoszyńska (eds), Pontifical Lateran University, Vatican 2014.
• “Modal logics connected to Jaśkowski's logic D₂” (with M.  Nasieniewski), pages 31–32 in Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum and A. Altair (eds.), Indian Statistical Institute, Kolkata 2014. PDF
• “On modal logics defining a Jaśkowski-like discussive logic” (with M. Nasieniewski), pages 67–68 in Handbook of the 5th World Congress on Paraconsistency, J-Y. Béziau, A. Buchsbaum, and A. Altair (eds.), Indian Statistical Institute, Kolkata 2014. PDF
• “Semantics and tableaus for modal syllogistic de re” (with T. Jarmużek), in Handbook of 4th World Congress and School on Universal Logic, J-Y. Béziau, A. Buchsbaum, and A. Costa-Leite (eds.), Editora Kelps, Goiânia 2013.
• “On modal logics defining Jaśkowski's D₂-consequence” (with M.  Nasieniewski), Chapter 9, pp. 141–160, in Paraconsistency: Logic and Applications, K. Tanaka, F. Berto, E. Mares, and F. Paoli (eds.), series: “Logic, Epistemology and the Unity of Science”, Volume 26, Springer 2013. DOI: 10.1007/978-94-007-4438-7_9
• “Semantical investigations on some weak modal logics. Part II”, Bulletin of the Section of Logic, vol. 41, no. 3/4 (2012), pp. 109–130. http://repozytorium.umk.pl/handle/item/6987
• “On the weakest modal logics defining Jaśkowski's logic D₂ and the D₂-consequence” (with M. Nasieniewski), Bulletin of the Section of Logic, vol. 41, no. 3/4 (2012), pp. 215–232. http://repozytorium.umk.pl/handle/item/6986
• “Ogólna koncepcja bycia częścią całości. Mereologia a nieprzechodnia relacja bycia częścią”, pp. 205–228 in Identyczność znaku czy znak identyczności?, J. Golińska-Pilarek and A. Wójtowicz (eds.), Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2012.
• “Semantical investigations on some weak modal logics. Part I”, Bulletin of the Section of Logic, vol. 41, no. 1/2 (2012), pp. 33–50. PDF
• “Laudacja na 90-lecie profesora Leona Gumańskiego — redaktora Ruchu Filozoficznego w latach 1981–2008”, Ruch Filozoficzny, vol. 68, no. 4 (2011), pp. 683–685.
• “A method of generating modal logics defining Jaśkowski's discussive logic D₂” (with M. Nasieniewski), Studia Logica, vol. 97, no. 1 (2011), pp. 161–182 (the special issue “The Legacy of Newton da Costa”). DOI: 10.1007/s11225-010-9302-2
• “How to define a mereological (collective) set” (with R. Gruszczyński), Logic and Logical Philosophy, vol. 19, no. 4 (2010), pp. 309–328. DOI: 10.12775/LLP.2010.011
• “Simplified Kripke style semantics for some very weak modal logics”, Logic and Logical Philosophy, vol. 18, no. 3–4 (2009), pp. 271–296. DOI: 10.12775/LLP.2009.013
• “Semantics for regular logics connected with Jaśkowski's D₂” (with M. Nasieniewski), Bulletin of the Section of Logic, vol. 38, no. 3/4 (2009), pp. 173–188. PDF
• “Simplified Kripke style semantics for modal logics K45, KB4 and KD45”, Bulletin of the Section of Logic, vol. 38, no. 3/4 (2009), pp. 163–172. http://repozytorium.umk.pl/handle/item/6988
• “Space, points and mereology. On foundations of point-free Euclidean geometry” (with R. Gruszczyński), Logic and Logical Philosophy, vol. 18, no. 2 (2009), pp. 145–188. DOI: 10.12775/LLP.2009.009
• “New axiomatizations of the weakest regular modal logic defining Jaśkowski's logic D₂” (with M. Nasieniewski), Bulletin of the Section of Logic, vol.  38, no. 1/2 (2009), pp. 45–50. PDF
• “The tense logic for Master Argument in Prior's reconstruction” (with T. Jarmużek), Studia Logica, vol. 92, no. 1 (2009), pp. 85–108. DOI: 10.1007/s11225-009-9187-0
• “Full development of Tarski's geometry of solids” (with R. Gruszczyński), The Bulletin of Symbolic Logic, vol. 14, no. 4 (2008), pp. 481–540. PS    DOI: 10.2178/bsl/1231081462
• “The weakest regular modal logic defining Jaśkowski's logic D₂” (with M. Nasieniewski), Bulletin of the Section of Logic, vol. 37, no. 3/4 (2008), pp. 197–210. PDF
• “Pieri's structures” (with R. Gruszczyński), Fundamenta Informaticae, vol.  81, no. 1–3 (2007), pp. 139–154. Link PDF (page 1)
• “An outline of the Anselmian theory of God” (with T. Jarmużek and M.  Nowicki), pp. 317–330 in Essays in Logic and Ontology, J.  Malinowski and A. Pietruszczak (eds.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_021
• “On applications of truth-value connectives for testing arguments with natural connectives”, pp. 143–156 in Essays in Logic and Ontology, J. Malinowski and A. Pietruszczak (eds.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_010
• “Editorial introduction. Logic in Toruń” (with J. Malinowski), pp. 9–16 in Essays in Logic and Ontology, J. Malinowski and A.  Pietruszczak (eds.), Amsterdam/New York 2006, GA: Rodopi. DOI: 10.1163/9789004332966_002
• “Pieces of mereology”, Logic and Logical Philosophy, vol. 14, no. 2 (2005), pp. 211–234. MathSciNet DOI: 10.12775/LLP.2005.014
• “Completeness of minimal positional calculus” (with T. Jarmużek), Logic and Logical Philosophy, vol. 13 (2004), pp. 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), pp. 121–138. DOI: 10.12775/LLP.2004.007
• “The consequence relation preserving logical information”, Logic and Logical Philosophy, vol. 13 (2004), pp. 89–120. DOI: 10.12775/LLP.2004.006
• “Paradoks Russella a początki mereologii”, Ruch Filozoficzny, vol. LIX, no.  1 (2002), pp. 123–129.
• “Tadeusza Czeżowskiego teoria zdań jednostkowych”, pp. 79–92 in Tadeusz Czeżowski (1989–1981): Dziedzictwo idei: logika – filozofia – etyka, W. Tyburski and R. Wiśniewski (eds.), Toruń 2002: Nicolaus Copernicus University Press.
• “Kawałki mereologii”, pp. 357–374 in Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski and A. Pietruszczak (eds.), Toruń 2000: Nicolaus Copernicus University Press.
• “Charakterystyka systemów relacyjnych mających logikę równą czystej logice predykatów” (with G. Pietruszczak), pp. 183–206 in Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski and A. Pietruszczak (eds.), Toruń 2000: Nicolaus Copernicus University Press.
• “O teoriach pierwszego rzędu związanych z elementarnym fragmentem ontologii Leśniewskiego”, pp. 127–168 in Logika & Filozofia Logiczna: FLFL 1996–1998, J. Perzanowski and A. Pietruszczak (eds.), Toruń 2000: Nicolaus Copernicus University Press.
• “Zur Axiomatisierung der strikten logischen Folgebeziehung Horst Wessels,” pp.  215–228 in Terminigebrauch und Folgebeziehung: Festband zu Ehren von Professor Horst Wessel, U. Shefler and K. Wuttich (eds.), Berlin 1998: Logos Verlag.
• “O zbiorze możliwych światów w kracie sytuacji elementarnych,” pp. 67–81 in Skłonność metafizyczna: Bogusławowi Wolniewiczowi w darze, M. Omyła (ed.), Warszawa 1997.
• “Co to jest mereologia,” pp. 115–127 in Studia z filozofii i logiki, C. Gorzka and R. Jadczak (eds.), Toruń 1997: Nicolaus Copernicus University Press.
• “Aksjomatyzacja relacji ścisłego wynikania logicznego Horsta Wessla,” pp. 281–297 in Byt, Logos, Matematyka, J. Perzanowski and A.  Pietruszczak (eds.), Toruń 1997: Nicolaus Copernicus University Press.
• “Wynikanie zachowujące informację logiczną,” pp. 251–280 in Byt, Logos, Matematyka, J. Perzanowski and A. Pietruszczak (eds.), Toruń 1997: Nicolaus Copernicus University Press.
• “Próba formalizacji pojęcia noematu” (with W. Krysztofiak), pp. 161–198 in Byt, Logos, Matematyka, J. Perzanowski and A.  Pietruszczak (eds.), Toruń 1997: Nicolaus Copernicus University Press.
• “An elementary proof of equivalence of conditions in definition of conditionally distributive lattices” (with M. Nasieniewski), Bulletin of the Section of Logic, vol.  26, no. 4 (1997), pp. 193–196. PDF
• “Cardinalities of models for monadic predicate logic (with equality and individual constants),” Reports on Mathematical Logic, no. 30 (1996), pp. 49–64. PDF
• “Mereological sets of distributive classes,” Logic and Logical Philosophy, vol. 4 (1996), pp. 105–122. DOI: 10.12775/LLP.1996.005
• “O pewnej interpretacji zdań warunkowych,” Ruch Filozoficzny, vol. LII, no.  3–4 (1995), pp. 437–442.
• “Mereologiczne zbiory klas dystrybucyjnych,” pp. 97–114 in Filozofia/Logika: Filozofia Logiczna 1994, J. Perzanowski, A. Pietruszczak, and C. Gorzka (eds.), Toruń 1995: Nicolaus Copernicus University Press.
• “Cardinalities of models for pure calculi of names,” Reports on Mathematical Logic, no. 28 (1994), pp. 87–102.
• “Informacja logiczna i jej zastosowanie w teorii wynikania,” Ruch Filozoficzny, vol.  LI, no. 3–4 (1994), pp. 341–350.
• “Stała Leśniewskiego w teoriach sylogistycznych: Semantyczne badania pewnych kwantyfikatorowych rachunków nazw,” Acta Universitatis Nicolai Copernici, Logika III (1992), pp. 45–76.
• “Rozstrzygalność w bezkwantyfikatorowym rachunku nazw,” Acta Universitatis Nicolai Copernici, Logika III (1992), pp. 21–43.
• “O ścisłym wynikaniu logicznym i jego modyfikacjinazw,” Acta Universitatis Nicolai Copernici, Logika III (1992), pp. 5–20.
• “Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami,” Acta Universitatis Nicolai Copernici, Logika II (1991), pp.  41–52.
• “Rachunek zdań z implikacją konektywną Reichenbacha,” Acta Universitatis Nicolai Copernici, Logika II (1991), pp. 23–39.
• “O pewnym ujęciu logiki tradycyjnejnazw,” Acta Universitatis Nicolai Copernici, Logika I (1991), pp. 31–41.
• “Standardowe rachunki nazw z funktorem Leśniewskiego,” Acta Universitatis Nicolai Copernici, Logika I (1991), pp. 5–29.
• “Rachunek nazw Wedberga a system S1 Iwanusia,” Ruch Filozoficzny, vol. XLV, no. 3 (1988), pp. 275–282.
• “Pewien boole'owski rachunek nazw a elementarna algebra Boole'a,” Ruch Filozoficzny, vol. XLV, no. 1 (1988), pp. 59–66.
• “O logice tradycyjnej i rachunku nazw dopuszczającym podstawienia nazw pustych,” Ruch Filozoficzny, vol. XLIV, no. 2 (1987), pp.  158–166.

Selected lectures presented during conferences:

• „Towards a correspondence theory in region-based theories of space” (with R. Gruszczyński), BLAST, New Mexico State University, Las Cruces, NM, online, 9–13 June, 2021.
• „Grzegorczyk points and filters in Grzegorczyk contact algebras” (with R. Gruszczyński), Applications of Algebra, Zakopane, 9–15 March 2020.
• „On a modal discussive logic corresponding to the extended model of discussion” (with K. Mruczek-Nasieniewska and M. Nasieniewski), 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 December 2019.
• “Representation theorems for Grzegorczyk contact algebras” (with R. Gruszczyński), 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” (with M. Nasieniewski and K. Mruczek-Nasieniewska), 6th World Congress and School on Universal Logic, Vichy, June 21–26 2018.
• “Logic of Anselmian ontological proof” (with T. Jarmużek), Chinese-Polish Workshop on Applied Logic, Beijing, School of Philosophy at Beijing Normal University, 9–10.12.2017.
• “Modal logics defining Jaskowski's and Jaskowski-like discussive logics” (with M. Nasieniewski), The Tenth Smirnov Readings in Logic, Moscow, Lomonosov Moscow State University, June 15–17 2017.
• “On Jaśkowski's discussive logic and Jaśkowski's discussive consequence” (with M. Nasieniewski), Formal Methods and Science in Philosophy II, Dubrovnik (Croatia), May 4–6, 2017.
• “A modal logic over Jaśkowski's discussive logic D₂” (with M. Nasieniewski), Formal Methods and Science in Philosophy, Dubrovnik (Croatia), March 26–28, 2015.
• “A formalization of Anselmian ontological argument” (with T. Jarmużek), Formal Methods and Science in Philosophy, Dubrovnik (Croatia), March 26–28, 2015.
• “Decidability methods for modal syllogisms” (with T. Jarmużek), Trends in Logic XIII, Łódź, 2–5.07.2014.
• “Axiomatisations of minimal modal logics defining Jaśkowski-like discussive logics” (with M. Nasieniewski), Trends in Logic XIII, Łódź, 2–5.07.2014.
• “Tableaus for numerical syllogistic” (with T Jarmużek), Fourth World Congress on the Square of Opposition, Vatican, 5–9.05.2014.
• “On modal logics defining a Jaśkowski-like discussive logic” (with M. Nasieniewski), invited lecture, 5th World Congress on Paraconsistency, Kolkata (India), February 13–17, 2014.
• “Modal logics connected to Jaśkowski's logic D₂” (with M. Nasieniewski), 5th World Congress on Paraconsistency, Kolkata (India), February 13–17, 2014.
• “Semantics and tableaus for modal syllogistic de re” (with T. Jarmużek), 4th World Congress and School on Universal Logic, Rio de Janeiro, March 29 – April 7, 2013.
• “On some non-classical systems of mereology” (with R. Gruszczyński), The Fifth Conference: Non-Classical Logic. Theory and Applications, Toruń, September 27–29, 2012.
• “On the weakest modal logics defining Jaśkowski's logic D₂ and D₂-consequence” (with M. Nasieniewski), 4th Conference: Non-Classical Logic. Theory and Applications, Łódź, September 27–29, 2011.
• “Sums, fusions and aggregates in theories of parthood” (with R. Gruszczyński), Applications of Algebra in Logic and Computer Science XV, Zakopane, March 7–12, 2011.
• “Logical consequence and logical information” (with R. Gruszczyński), Applications of Algebra in Logic and Computer Science XIV, Zakopane, March 8–14, 2010.
• “A method of generating modal logics defining Jaśkowski's discussive logic D₂” (with M. Nasieniewski), Science, Truth and Consistency. CLE / AIPS Event, Campinas, Brazil, August 23–28, 2009.
• “On Grzegorczyk's pointless topology. Atomic structures” (with R. Gruszczyński), Topology, Algebra and Categories in Logic, Amsterdam, July 7–11, 2009.
• “Master Argument: time, determinism and branching structures” (with T. Jarmużek), Studia Logica International Conference, Logic and the Foundations of Physics: Space, Time and Quanta, Trends in Logic VI, Brussels, December 11–12, 2008.
• “On modal logics defining Jaśkowski's D₂-consequence” (with M.  Nasieniewski), The Fourth World Congress of Paraconsistency, Melbourne, July 13–18, 2008.
• “Full development of Tarski's geometry of solids” (with R. Gruszczyński) Applications of Algebra XII, Zakopane, Poland, April 3–8, 2008.
• “Constructing topological spaces from mereological fields” (with R. Gruszczyński), Studia Logica International Conference, Many-valued Logic and Cognition, Trends in Logic V, Guangzhou, China, July 6–9, 2007.
• “Remarks on Tarski's geometry of solids” (with R. Gruszczyński), Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruń, Poland, September 1–4, 2006.
• “Finite axiomatizability of elementary mereology”, 4th Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Ghent University, Belgium, April 8–11, 2001.
• “The mereological sum of Leśniewski and the fusion of Leonard and Goodman”, 3rd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Free Universitety of Brussels, Belgium, October 11–14, 2000.
• “Problem of the fusion”, 2nd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Ghent University, Belgium, April 26–27, 2000.