References
E. Schröder, Vorlesungen über die Algebra der Logic 3, Algebra und Logic der Relative, Teubner, Leipzig (1895).
A. Tarski, “On the calculus of relations,” J. Symbolic Logic,6, 73–89 (1941).
A. Tarski, “Some metalogical results concerning the calculus of relations,” J. Symbolic Logic,18, 188–189 (1953).
B. M. Schein, “Relation algebras and function semigroups,” Semigroup Forum,1, No. 1, 1–62 (1970).
B. M. Schein, “Representation of subreducts of Tarski relation algebras,” Colloq. Math. Soc. János Bolyai,54, 621–635 (1991).
D. A. Bredikhin, “On relation algebras with general superpositions,” Colloq. Math. Soc. János Bolyai,54, 111–124 (1991).
B. Jónsson, “Representation of modular lattices and of relation algebras,” Trans. Amer. Math. Soc.,92, No. 3, 449–464 (1959).
B. M. Schein, “Representation of involuted semigroups by binary relations,” Fund. Math.,82, No. 2, 121–141 (1974).
D. A. Bredikhin, “Representation of ordered involution semigroups,” Izv. Vyssh. Uchebn. Zaved. Mat., No. 7, 19–29 (1975).
D. A. Bredikhin, “The equational theory of relation algebras with positive operations,” Izv. Vyssh. Uchebn. Zaved. Mat., No. 3, 23–30 (1993).
H. Andréka, “On, union-relation composition reducts of relation algebras,” Abstracts Amer. Math. Soc.,62, No. 2, 174 (1989).
H. Andréka, “Representations of distributive lattice-ordered semigroups with binary relations,” Algebra Universalis,28, No. 1, 12–25 (1991).
D. A. Bredikhin, “On semigroups of binary relations pointed by universal relations,,” in: Abstracts: The International Conference “Semigroups and Their Applications Including Semigroup Rings,” St. Petersburg, 1995, pp. 6–7.
H. Andréka and D. A. Bredikhin, “The equational theory of union-free algebras of relations,” Algebra Universalis,33, No. 4, 516–532 (1995).
G. Grätzer, Universal, Algebra, Van Nostrand, Princeton (1968).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
A. I. Mal'tsev, “On some borderline problems of algebra and logic,” in: Abstracts: The International Congress of Mathematicians, Moscow, 1966, pp. 217–231.
Yu. L. Ershov, I. A. Lavrov, A. D. Taîmanov, and M. A. Taîtslin, “Elementary theories,” Uspekhi Mat. Nauk,20, No. 4, 37–108 (1965).
F. Böner and R. Pöschel, “Clones of operations on binary relations” in: Contibutions to General Algebras, Wien, 1991,7, pp. 50–70.
M. Haiman, “Proof theory for linar lattices,”, Adv. Math.,58, 209–242 (1985).
Additional information
Saratov. Translated fromSibirskiî Mathematicheskiî Zhurnal, Vol. 38, No. 1, pp. 29–41, January-February, 1997.
Translated by K. M. Umbetova
Rights and permissions
About this article
Cite this article
Bredikhin, D.A. On quasi-identities of relation algebras with diophantine operations. Sib Math J 38, 23–33 (1997). https://doi.org/10.1007/BF02674896
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02674896