Literature Cited
G. Mazzanti and M. Massimo, “Löb operators and interior operators,” Rend. del Seminario Matematico della Universita di Padova,65, 77–83 (1981).
A. V. Kuznetsov and A. Yu. Muravitskii, “Magari algebras,” in: 14th All-Union Algebraic Conference, Novosibirsk [in Russian], Part 2 (1977), pp. 105–106.
R. Solovay, “Provability interpretations of modal logic,” Isr. J. Math.,25, No. 3-4, 287–304 (1976).
G. Boolos, Unprovability of Consistency, Cambridge Univ. Press, Cambridge (1979).
A. V. Kuznetsov and A. Yu. Muravitskii, “Proof-logic,” in: 4th All-Union Conference on Mathematical Logic [in Russian], Shtiintsa, Kishinev (1976), p. 73.
A. V. Kuznetsov and A. Yu. Muravitskii, “Provability as modality,” in: Real Problems of Logic and Methodology of Science [in Russian], Naukova Dumka, Kiev (1980), pp. 193–230.
A. V. Kuznetsov, “On the proof-intuitionistic propositional calculus,” Dokl. Akad. Nauk SSSR,283, No. 1, 27–29 (1985).
A. Yu. Muravitskii, “Correspondence of the proof-intuitionistic logic extensions with the proof-logic extensions,” Dokl. Akad. Nauk SSSR,281, No. 4, 789–793 (1985).
A. Yu. Muravitskii, Correspondence of the Proof-Intuitionistic Logic Extensions with Proof-Logic Extensions [in Russian], Tr. Inst. Mat. Sib. Otd. Akad. Nauk SSSR, Vol. 12, Book 2, Nauka, Novosibirsk (1989).
A. V. Kuznetsov and A. Yu. Muravitskii, “On superintuitionistic logics as fragments of proof-logic extensions,” Stud. Log.45, No. 1, 77–99 (1985).
R. Magari, “The diagonalizable algebras,” Boll. Unione Mat. Ital.,12, Suppl. Fasc. 3, 117–125 (1975).
L. L. Maksimova and B. B. Rybakov, “On the lattice of normal modal logics,” Algebra Logika,13, No. 2, 188–216 (1974).
L. L. Maksimova, “Modal logics of finite layers,” Algebra Logika,14, No. 3, 304–319 (1975).
E. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, 3rd ed., PWN, Warsaw (1970).
A. V. Kuznetsov, “The proof-intuitionistic logic,” in: Modal Intensional Logics [in Russian], (Abstracts of Joint Delebrations), Inst. Fiz. Akad. Nauk SSSR, Moscow (1978), pp. 75–79.
G. Grätzer, General Lattice Theory, Academic Press, New York (1978).
A. Yu. Muravitskii, “Criteria for Δ-enrichability of pseudo-Boolean algebras and certain embeddings,” in: 7th All-Union Conference on Mathematical Logic [in Russian], Inst. Mat. Sib. Otd. Akad. Nauk SSSR, Novosibirsk (1984), p. 115.
A. Yu. Muravitskii, “An algebraic proof of the separation property for the proofintuitionistic calculus,” Mat. Sb.,131, No. 3, 403–411 (1986).
G. Grätzer, Universal Algebra, 2nd ed., Springer Verlag, New York-Berlin (1979).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
W. J. Blok, Varieties of Interior Algebras, Dissertation, University of Amsterdam (1976).
P. C. Eklof, “Ultraproducts for algebraists,” in: Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland, Amsterdam (1977), pp. 105–137.
T. Frayne, A. C. Morel, and D. S. Scott, “Reduced direct products,” Fund. Math.,51, 195–228 (1962).
I. A. Lavrov and L. L. Maksimova, Problems in Set Theory, Mathematical Logic, and Theory of Algorithms [in Russian], Nauka, Moscow (1984).
Additional information
Kishinev. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 31, No. 4, pp. 111–117, July–August, 1990.
Rights and permissions
About this article
Cite this article
Muravitskii, A.Y. Magari and Δ-pseudo-Boolean algebras. Sib Math J 31, 623–628 (1990). https://doi.org/10.1007/BF00970634
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00970634