„Poprawność w sensie Lemmona klasycznej i intuicjonistycznej logiki zdaniowej”
Uniwersytet Mikołaja Kopernika w Toruniu
Promotor: prof. dr hab. Andrzej Pietruszczak
„Aksjomatyzacja monorelacyjnych logik wiążących”
Uniwersytet Mikołaja Kopernika w Toruniu
Promotor: dr hab. Tomasz Jarmużek, prof. UMK
Recenzenci:
prof. dr hab. Jacek Malinowski,
prof. dr hab. Piotr Kulicki,
dr hab. Dorota Leszczyńska-Jasion, prof. UAM