TY  - RPRT
TI  - A Galois connection between classical and intuitionistic logics. I: Syntax
AU  - Sergey A. Melikhov
PY  - 2022
UR  - https://arxiv.org/abs/1312.2575
ID  - 1312.2575
ER  -