1. S. A. Melikhov, “A Galois connection between classical and intuitionistic logics: I. Syntax,” arXiv:1312.2575v5 (2022).
2. S. A. Melikhov, “A Galois connection between classical and intuitionistic logics: II. Semantics,” arXiv:1504.03379v5 (2022).
3. L. C. Paulson, “The foundation of a generic theorem prover,” J. Autom. Reason. 5, 363–397 (1989).
4. S. A. Melikhov, “Mathematical semantics of intuitionistic logic,” arXiv:1504.03380v3 (2017).
5. A. N. Kolmogorov, “On the papers on intuitionistic logic,” in Selected Works of A. N. Kolmogorov, Vol. 1: Mathematics and Its Applications (Soviet Series) (Kluwer, Dordrecht, 1991), Vol. 25, pp. 451–452.