BOOKS
2021
Szymon Chlebowski (ed.), „Glimpses into the World of Mathematics. A Cognitive Perspective”, Lit Verlag
PAPERS
2022
Szymon Chlebowski, „New Kripke Semantics for Intuitionistic Logic with Propositional Identity”, Bulletin of the Section of Logic, under review
Sochański, M., Leszczyńska-Jasion, D., Chlebowski, S., Tomczyk, A., Jukiewicz, M. (2022). Synthetic Tableaux: Minimal Tableau Search Heuristics. In: Blanchette, J., Kovács, L., Pattinson, D. (eds) Automated Reasoning. IJCAR 2022. Lecture Notes in Computer Science(), vol 13385. Springer, Cham. https://doi.org/10.1007/978-3-031-10769-6_25
2021
Szymon Chlebowski, „Basic Ideas of Intuitionism”, w „Glimpses into the World of Mathematics. A Cognitive Perspective”
Szymon Chlebowski, Marta Gawek, Agata Tomczyk, „Natural Deduction System for Intuitionistic Logic with Identity”, accepted in Studia Logica
Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański, „Abductive Question-Answer System for the minimal logic of formal inconsistency mbC”, accepted in Studia Logica
2020
Szymon Chlebowski, Dorota Leszczyńska-Jasion, “An Investigation into Intuitionistic Logic with Identity”, Bulletin of the Section of Logic, 48(4)
2019
Dorota Leszczyńska-Jasion, Mateusz Ignaszak, Szymon Chlebowski, “Rasiowa-Sikorski deduction systems with the rule of cut. A case study”, Studia Logica Vol 107, Issue 2, 2019, pp. 313-349 (published on-line 09 April 2018, DOI https://doi.org/10.1007/s11225-018-9795-7).
Dorota Leszczyńska-Jasion, Szymon Chlebowski, ”Synthetic Tableaux with Unrestricted Cut for First-Order Theories”, Axioms, Volume 8, Issue 4 (special issue Deductive Systems), December 2019.
2018
Dorota Leszczyńska-Jasion, Szymon Chlebowski, Marcin Jukiewicz, Adam Kupś, „Dystrybutywne systemy dedukcyjne: czy logikę można uprawiać jako naukę empiryczną?”, w: „Filozof w krainie umysłów. Profesorowi Andrzejowi Klawiterowi w darze”, pod redakcją G. Króliczaka, K. Łastowskiego, Ł. Przybylskiego, P. Przybysza, M. Urbańskiego, Wydawnictwo Naukowe Wydziału Nauk Społecznych UAM, Poznań 2018, s. 355-368.
2017
Szymon Chlebowski, „Sequent Calculi for 𝖲𝖢𝖨”, Studia Logica, 106(3):541–563
2016
Szymon Chlebowski, Maciej Komosiński, Adam Kupś, „Automated Generation of Erotetic Search Scenarios: Classification, Optimisation and Knowledge Extraction”, ACM Transactions on Computational Logic, 2016
2015
Szymon Chlebowski, Dorota Leszczyńska-Jasion, „Dual Erotetic Calculi and the Minimal LFI, Studia Logica, Volume 103, Issue 6, pp 1245–1278, 2015
2014
Szymon Chlebowski, Andrzej Gajda, „Pytania abdukcyjne”, 9 IX Poznańskie Forum Kognitywistyczne: teksty pokonferencyjne nr. 8, pp 104-110, 2014
Szymon Chlebowski, Hubert Jastrzębski, „Rachunek erotetyczny dla minimalnej logiki niefregowskiej SCI”, IX Poznańskie Forum Kognitywistyczne: teksty pokonferencyjne nr. 8, pp 86-92 , 2014
Szymon Chlebowski, Hubert Jastrzębski, „Frege i Łukasiewicz o wartościach logicznych”, Hybris, pp 121-135, 2014
Szymon Chlebowski, „Negacja, niesprzeczność i sześciokąt opozycji”, Preteksty, pp 5-17, 2014
2013
Szymon Chlebowski, „Paradoks Chisholma a logiki deontycznej sprzeczności”, Preteksty, pp 14-24, 2013