Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A theory of formal deducibility | 1950 | |||
Десятые Смирновские чтения | 2017 | |||
A Galois connection between classical and intuitionistic logics | 2022 (v1 - 2013) | |||
Possibility spaces, Q-completions and Rasiowa-Sikorski lemmas for non-classical logics | 2016 | |||
Intuitionistic epistemic logic | 2014 |