Bachelor students

• Jáchym Šimon: Automated proof-checking of the constructive proof of completeness of classical logic. Czech Technical University, Defended 2019.

Courses

2018/2019

• Introduction to algebraic logic (Faculty of Mathematics and Physics, Charles University)

• Introduction to algebraic logic (Faculty of arts, Charles University)

• Modal logics (Faculty of arts, Charles University)

• Mathematical logic (Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University)

2017/2018

• Mathematical logic (Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University)

• Elementary course on logic (Faculty of Arts, Charles University)

2016/2017

• Mathematical fuzzy logic (Faculty of Arts, Charles University)

• Classical logic (Faculty of Arts, Charles University)

• Elementary course on logic (Faculty of Arts, Charles University)

2015/2016

• Elementary course on logic (Faculty of Arts, Charles University)