Seminarium
Zakładu Logiki Matematycznej



2014/2015



3.10.2014  Wojciech Dzik, Unifikacja w algebrach Heytinga I
10.10.2014  Wojciech Dzik, Unifikacja w algebrach Heytinga II
17.10.2014  Sławomir Kost, Modele uniwersalne dla logik modalnych
24.10.2014  Anna Bień, O strukturach singularnych sieci heksagonalnych
7.11.2014  Anna Glenszczyk, Negacyjny fragment monadycznej logiki ICL I
14.11.2014  Anna Glenszczyk, Negacyjny fragment monadycznej logiki ICL II
21.11.2014  Małgorzata Kruszelnicka, Formuły Yes i No dla logiki intuicjonistycznej z silną negacją
28.11.2014  Zofia Kostrzycka, TBPP
5.12.2014  Wojciech Dzik, Operator McKinseya-Tarskiego
12.12.2014  Wojciech Dzik, O infinitarnych rozszerzeniach konsekwencji logiki modalnej S4.3 I
19.12.2014  Wojciech Dzik, O infinitarnych rozszerzeniach konsekwencji logiki modalnej S4.3 II
9.01.2015  Tomasz Połacik
16.01.2015  Tomasz Połacik
27.02.2015  Wojciech Dzik, Strukturalna zupełność
6.03.2015  Tomasz Witczak, Konserwatywnośc teorii
20.03.2015  Sławomir Kost, Niezupełność fuzji S4 względem RxR I
20.03.2015  Sławomir Kost, Niezupełność fuzji S4 względem RxR II
10.04.2015  Sławomir Kost, Niezupełność fuzji S4 względem RxR III
17.04.2015  Anna Bień, Grafy dominujące
15.05.2015  Tomasz Połacik,
22.05.2015  Wojciech Dzik,
29.05.2015  Tomasz Witczak, Nierozstrzygalność logik pośrednich






[SEMINARIUM ZAKŁADU LOGIKI MATEMATYCZNEJ]

[SEMINARIA]  [STRUKTURA]  [STRONA GŁÓWNA]