9.10.2015 |
Tomasz Połacik, Konserwatywność ZF nad pewnym rozszerzeniem CZF* I |
16.10.2015 |
Tomasz Połacik, Konserwatywność ZF nad pewnym rozszerzeniem CZF* II |
23.10.2015 |
Wojciech Dzik, Topology, Algebra, Categories and Logic 2015 |
30.10.2015 |
Wojciech Dzik, Projektywna unifikacja pośrednich i modalnych logik predykatów |
7.11.2015 |
Tomasz Połacik, Algebraizacja pośrednich logik predykatów I (omówienie pracy D. Tishkovskiego) |
14.11.2015 |
Tomasz Połacik, Algebraizacja pośrednich logik predykatów II (omówienie pracy D. Tishkovskiego) |
21.11.2015 |
Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną I (omówienie prac S. Lewitzka) |
28.11.2015 |
Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną II (omówienie prac S. Lewitzka) |
4.12.2015 |
Tomasz Witczak, Połączenie logik pośrednich z logkią klasyczną III (omówienie prac S. Lewitzka) |
11.12.2015 |
Anna Bień, Struktury argumentacji I. |
18.12.2015 |
Anna Bień, Struktury argumentacji II. |
8.01.2016 |
Małgorzata Kruszelnicka, Tableaux dla formuł bisymulacyjnie niezmienniczych I. |
15.01.2016 |
Małgorzata Kruszelnicka, Tableaux dla formuł bisymulacyjnie niezmienniczych II. |
22.01.2016 |
Tomasz Połacik, Wieloprzesłankowe reguły archetypowe I. |
19.02.2016 |
Tomasz Połacik, Wieloprzesłankowe reguły archetypowe II. |
26.02.2016 |
Wojciech Dzik, Direct product and unification. Applications to residuated lattices and to intuitionistic logic with additional connectives |
4.03.2016 |
Anna Glenszczyk, Monadic fragments of Intuitionistic Control Logic |
18.03.2016 |
Tomasz Witczak, Negational translation no intuitionistically equivalent to the usual ones I. (Jaime Gaspar) |
1.43.2016 |
Tomasz Witczak, Negational translation no intuitionistically equivalent to the usual ones II. (Jaime Gaspar) |
8.04.2016 |
Tomasz Połacik, Exact, Extendible and Procetive Formulae (D. de Jongh, L. A. Chagrova) |
15.04.2016 |
Wojciech Dzik, O unifikacji w logikach podstrukturalnych nad FLew |
22.04.2016 |
Anna Glenszczyk, Zanurzenie ICL w pewną logikę modalną |
29.04.2016 |
Anna Bień, Methods for solving reasoning problem in abstract argumentation - a survey (G. Chorwat et al.) |
6.05.2016 |
Małgorzata Kruszelnicka, Formuły YES, NO |