2024

Prace magisterskie
  • Antynomia Burali-Fortiego: założenia i interpretacje
  • Aksjomatyzacja teorii krat Grzegorczyka

2021

Prace licencjackie
  • Dowód aksjomatu M4 elementarnej mereologii Andrzeja Grzegorczyka na gruncie Algebry Boole'a

2018

Prace licencjackie
  • Twierdzenie o dedukcji i lemat Tarskiego dla logiki pierwszego rzędu w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego
  • Dowód niezależności aksjomatyki systemu logiki pierwszego rzędu Davida Hilberta w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego
  • Dowód niesprzeczności aksjomatycznego systemu logiki pierwszego rzędu Davida Hilberta w monografii "Klasyczny rachunek kwantyfikatorów" Witolda Adama Pogorzelskiego.

2017

Prace magisterskie
  • Simona Kramera metoda rozszerzenia logiki kwantowej do logiki klasycznej

2016

Rozprawy doktorskie
  • Problem<>. Czy teoria hiperzbiorów stanowi rozwiazanie problemów regresu nieskończonego?

2012

Prace magisterskie
  • Metody konstruowania logik niemonotonicznych w ujęciu Davida Makinsona

2010

Prace licencjackie
  • Problem wartości poznawczej logik modalnych w ujęciu Susan Haack
  • Kryterium racjonalności dla logiki decyzji w ujęciu Klemensa Szaniawskiego
  • Logiczna analiza wnioskowania Johna Stuarta Milla o czwartym wyjątku od zasady liberalizmu
  • Logika trójwartościowa Jana Łukasiewicza a pojęcie prawdy w ujęciu Arthura N. Priora
  • Paradoksy logiki deontycznej w ujęciu Kazimierza Świrydowicza