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 |