Dissertations

Barbara Bojarska: Matematyka i logika intuicjonistyczna a ich relacja z psychologizmem na podstawie analizy tekstu „Life, Art and Mysticism” Luitzena Egbertusa Jana Brouwera

Aleksandra Draszewska: Knowability paradox in the light of Intuitionistic Epistemic Logic

Bartosz Paśka: Analiza modalności definowalnych w logice wielowartościowej Łukasiewicza

Łukasz Abramowicz: Second-order ecumenical propositional logic with identity

Justyna Buczek: Pojęcia identyczności i rozróżnialności w świetle logiki i filozofii nauki

Aleksandra Draszewska: Prawda i fałsz nie istnieją na zewnątrz naszych głów

Dawid Czech: Dedukcja naturalna i rachunek lambda dla logiki Gödla-Dummett’a 

Piotr Rożnowski: Teoria dowodu dla logiki Godla-Dummetta – rachunki sekwentowe i hipersekwentowe

Jagoda Sateja: Computational Content of Intuitionistic Logic 

Marta Gawek: Proof search in Normal Modal Logics in Labelled Sequent Calculus. A Haskell implementation