21.10.2016 |
Tomasz Witczak, Logiki z operatorem prawdopodobieństwa I |
28.10.2016 |
Tomasz Witczak, Logiki z operatorem prawdopodobieństwa II |
4.11.2016 |
Tomasz Witczak, Neighbourhood Semantics for IPC (Moniri, Maleki) |
18.11.2016 |
Tomasz Witczak, Semantyka otoczeniowa dla IPC I. |
25.11.2016 |
Tomasz Witczak, Semantyka otoczeniowa dla IPC II. |
2.12.2016 |
Tomasz Witczak, Semantyka otoczeniowa dla IPC III. |
9.12.2016 |
Tomasz Połacik, Niezależność formuł w logice intuicjonistycznej I |
20.01.2017 |
Tomasz Połacik, The Intuitionistic Robinson Arithmetic(s) (M. Dancak) |
27.01.2017 |
Anna Glenszczyk, Monadyczny "klasyczny" fragment ICL |
1.02.2017 |
Tomasz Witczak, Intuitionistic neighborhood and topological structures without superset axiom I. |
24.02.2017 |
Tomasz Witczak, Intuitionistic neighborhood and topological structures without superset axiom II. |
3.03.2017 |
Anna Bień, Maximal degree of gamma graphs of trees |
10.03.2017 |
Tomasz Witczak, Semantyka otoczeniowa dla IPC IV. |
7.04.2017 |
Anna Glenszczyk, Modal companions |
28.04.2017 |
Wojciech Dzik, Unifikacja w modalnych logikach predykatów |
5.05.2017 |
Tomasz Witczak, Intuitionistic Modal Logic Based on Neighborhood Semantics without Superset Axiom |
19.05.2017 |
Tomasz Połacik, Algebraic perspective on Prucnal's substitution (A. Citkin) |
26.05.2017 |
Sandor Radeleczki (Miskolc University), The lattice of congruence lattices of algebras |
30.05.2017 |
Sandor Radeleczki (Miskolc University), Rough sets and algebraic structures in logic |
2.06.2017 |
Tomasz Witczak, Semantyka otoczeniowa dla pewnej intuicjonistycznej logiki modalnej |