ORCID Web of Science ASEP Publikace Many-Valued Logics. Workshop at UNILOG 2013 (2013) 2nd Prague Symposium on Semilinear Logics (2013) International Workshop on Algebraic Logic in Computer Science (2013) Projekty Neklasické výrokové a predikátové logiky: přístup založený na uspořádání (2013–2016)
