{"id":31,"date":"2020-09-30T17:52:56","date_gmt":"2020-09-30T15:52:56","guid":{"rendered":"http:\/\/sc52172-logic.home.amu.edu.pl\/?page_id=31"},"modified":"2025-10-01T09:05:16","modified_gmt":"2025-10-01T07:05:16","slug":"dissertations","status":"publish","type":"page","link":"http:\/\/sc52172.home.amu.edu.pl\/?page_id=31","title":{"rendered":"Dissertations"},"content":{"rendered":"\n<p>Barbara Bojarska: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/176471\/\">Matematyka i logika intuicjonistyczna a ich relacja z psychologizmem na podstawie analizy tekstu \u201eLife, Art and Mysticism\u201d Luitzena Egbertusa Jana Brouwera<\/a><\/p>\n\n\n\n<p>Aleksandra Draszewska: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/176433\/\">Knowability paradox in the light of Intuitionistic Epistemic Logic<\/a><\/p>\n\n\n\n<p>Bartosz Pa\u015bka: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/176406\/\">Analiza modalno\u015bci definowalnych w logice wielowarto\u015bciowej \u0141ukasiewicza<\/a><\/p>\n\n\n\n<p>\u0141ukasz Abramowicz: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/168970\/\">Second-order ecumenical propositional logic with identity<\/a><\/p>\n\n\n\n<p>Justyna Buczek: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/161794\/\">Poj\u0119cia identyczno\u015bci i rozr\u00f3\u017cnialno\u015bci w \u015bwietle logiki i filozofii nauki<\/a><\/p>\n\n\n\n<p>Aleksandra Draszewska: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/154554\/\">Prawda i fa\u0142sz nie istniej\u0105 na zewn\u0105trz naszych g\u0142\u00f3w<\/a><\/p>\n\n\n\n<p>Dawid Czech: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/140265\/\">Dedukcja naturalna i rachunek lambda dla logiki G\u00f6dla-Dummett\u2019a&nbsp;<\/a><\/p>\n\n\n\n<p>Piotr Ro\u017cnowski: Teoria dowodu dla logiki Godla-Dummetta &#8211; rachunki sekwentowe i hipersekwentowe<\/p>\n\n\n\n<p>Jagoda Sateja: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/132612\/\">Computational Content of Intuitionistic Logic&nbsp;<\/a><\/p>\n\n\n\n<p>Marta Gawek: <a href=\"https:\/\/apd.amu.edu.pl\/diplomas\/131954\/\">Proof search in Normal Modal Logics in Labelled Sequent Calculus. A Haskell implementation&nbsp;<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Barbara Bojarska: Matematyka i logika intuicjonistyczna a ich relacja z psychologizmem na podstawie analizy tekstu \u201eLife, Art and Mysticism\u201d Luitzena Egbertusa Jana Brouwera Aleksandra Draszewska: Knowability paradox in the light of Intuitionistic Epistemic Logic Bartosz Pa\u015bka: Analiza modalno\u015bci definowalnych w logice wielowarto\u015bciowej \u0141ukasiewicza \u0141ukasz Abramowicz: Second-order ecumenical propositional logic with identity Justyna Buczek: Poj\u0119cia identyczno\u015bci &hellip; <a href=\"http:\/\/sc52172.home.amu.edu.pl\/?page_id=31\" class=\"more-link\">Czytaj dalej <span class=\"screen-reader-text\">Dissertations<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/31"}],"collection":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=31"}],"version-history":[{"count":5,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/31\/revisions"}],"predecessor-version":[{"id":381,"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/31\/revisions\/381"}],"wp:attachment":[{"href":"http:\/\/sc52172.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=31"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}