Praca naukowo – badawcza

Wybrane publikacje:

• Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański, „Abductive Question-Answer System for the minimal logic of formal inconsistency mbC”, accepted in Studia Logica
• Szymon Chlebowski, Dorota Leszczyńska-Jasion, “An Investigation into Intuitionistic Logic with Identity”, Bulletin of the Section of Logic, 48(4)
• 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.
• 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.
• Szymon Chlebowski, „Sequent Calculi for SCI”, Studia Logica, 106(3):541-563
• Szymon Chlebowski, Maciej Komosiński, Adam Kupś, „Automated Generation of Erotetic Search Scenarios: Classification, Optimisation and Knowledge Extraction”, ACM Transactions on Computational Logic, 2016
• Szymon Chlebowski, Dorota Leszczyńska-Jasion, „Dual Erotetic Calculi and the Minimal LFI, Studia Logica, Volume 103, Issue 6, pp 1245–1278, 2015
• 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, „Frege i Łukasiewicz o wartościach logicznych”, Hybris, pp 121-135, 2014

Ważniejsze publikacje:

W pracy „An Investigation into Intuitionistic Logic with Identity” badamy intuicjonistyczną wersję minimalnej logiki niefregowskiej. W logice tej kluczową rolę odgrywa pojęcie identyczności, które okazuje się mieć naturalną obliczeniową interpretację. W tekście zajmujemy się zarówno semantyką, jak i systemem dowodzenia twierdzeń dla analizowanej logiki. Pokazujemy, że do pewnego stopnia dowodzenie w tej logice podlega automatyzacji.

Wybrane osiągnięcia naukowo – badawcze:

• Laureat programu START 2018 Fundacji na Rzecz Nauki Polskiej
• Wykonawca w projektach:
  • Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods, kierownik: dr hab. Dorota Lezczyńska-Jasion
  • Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications, kierownik: prof. dr hab. Andrzej Wiśniewski
  • Extremal axioms: logical, mathematical and cognitive aspects, kierownik: prof. dr hab. Jerzy Pogonowski
• Recenzent w Mathematical Review

Zainteresowania badawcze:

• logiki nieklasyczne, w szczególności zaś tzw. logiki konstruktywne oraz logiki niefregowskie,
• systemy dowodzenia twierdzeń, zwłaszcza dedukcją naturalną oraz rachunkami sekwentów,
• modelowanie rozumowań abdukcyjnych przy użyciu narzędzi logiki pytań,
• implementacja teoretycznych rozwiązań z zakresu logiki przy użyciu funkcyjnych języków programowania.

Realizowany obecnie projekt badawczy:

Obecnie jestem zaangażowany w dwa projekty. Pierwszy z nich poświęcony jest Dystrybutywnym Systemom Dedukcyjnym. W projekcie tym chodzi o uelastycznienie oraz optymalizację procedury dowodzenia twierdzeń poprzez heurystyki, uzyskane przy użyciu technik data mining.

Drugi projekt dotyczy intuicjonistycznych logik niefregowskich. Staramy się w nim opisać, przy użyciu technik teoriodowodowych, pewne nieklasyczne logiki, w których formalizuje się pojęcie identyczności. Zajmujemy się również filozoficzną interpretacja tych logiki oraz możliwościami ich zastosowania.

Współpraca z otoczeniem społeczno – gospodarczym: