References
- [1] SOLOVAY R.M., Provability interpretations of modal logic // Israel J. Math., 1975, 25, p. 287 - 304.
- [2] Post E.L. Introduction to a general theory of elementary propositions // Amer. J. Math., 1921, v. 43, p. 163 - 185.
- [3] Post E.L. Two-valued iterative systems of mathematical logic. Princeton, 1941.
- [4] KUZNETSOV A. V., On detecting non-deducibility and non-expressibility in: Locical deduction, Nauka, Moscow (1979), 5-33 (in russian)
- [5] DANIL'čENCO A. F. Parametric expressibility of functions of three-valued logic // Algebra i Logika, 16 (1977), pp.397-416 (in russian)
- [6] DANIL'čENCO A. F. On parametrical expressibility of the functions of k-valued logic // Colloq. Math. Soc. Janos Bolyai, 28, North-Holland, 1981, pp. 147-159.
- [7] BURRIS S., WILLARD R. Finitely many primitive positive clones // Proceedings of the American Mathematical Society, 101, no. 3, 1987, pp. 427-430.
- [8] MAGARI R., The diagonalizable algebras (the algebraization of the theories which express Theor.: II) // Boll. Unione Mat. Ital., 12 (1975) (suppl. fasc 3) pp. 117-125.
- [9] Maksimova, L.L. Continuum of normal extensions of the modal logic of provability with the interpolation property // Sib. Math. J. 30, No.6, 935-944 (1989)