1. P. S. Novikov, Constructive Mathematical Logic from a Classical Point of View, Mathematical Logic and the Foundations of Mathematics [in Russian], Nauka, Moscow (1977).
2. D. P. Skvortsov, “Intuitionistic propositional calculus with extra logical connective,” in Contributions to Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow (1983), pp. 154-173.
3. Ya. S. Smetanich, “Completeness of propositional calculus with an extra operation in one variable,” Trudy Mosk. Mat. Obshch., 9, 357-371 (1960).
4. Ya. S. Smetanich, “Propositional calculi with extra operation,” Dokl. Akad. Nauk SSSR, 139, No. 2, 309-312 (1961).
5. M. Dummett, “A propositional calculus with denumerable matrix,” J. Symb. Log., 24, No. 1, 97-106 (1959).