1. Maksimova L. L. and Yun V. F., “Slices over a minimal logic,” Algebra and Logic (2016) (to be published).
2. Johansson I., “Der Minimalkalkül, ein reduzierter intuitionistische Formalismus,” Compos. Math., 4, 119–136 (1937).
3. Hosoi T., “On intermediate logics. I,” J. Fac. Sci., Univ. Tokyo, Sec. Ia, 14, 293–312 (1967).
4. Rautenberg W., Klassische und nichtklassiche Aussagenlogik, Vieweg-Verlag, Wiesbaden (1979).
5. Odintsov S. P., Constructive Negations and Paraconsistency, Springer-Verlag, Dordrecht (2008) (Ser. Trends Logic; V. 26).