Abstract
In the paper we find a basis of identities for the variety generated by semigroups of relations with an operation of reflexive double cylindrification.
Similar content being viewed by others
References
Tarski, A. “On the Calculus of Relations,” J. Symbolic Logic, No. 4, 73–89 (1941).
Schein, B.M. “Relation Algebras and Function Semigroups,” Semigroup Forum 1(1), 1–62 (1970).
Bredikhin, D. A. “Relation Algebras with Diophantine Operations,” Dokl.Math. 57, No. 3, 435–436 (1998).
Bredikhin, D. A. “On Quasi-Identities of Relation Algebras with Diophantine Operations,” Sib. Math. J. 38, No. 1, 23–33 (1997).
Böner, P. and Pöschel, F. R. “Clones of Operations on Binary Relations,” Contributions to General Algebra 7, 50–70 (1991).
Henkin, L., Monk, J. D., and Tarski, A. Cylindric Algebras (North-Holland, Amsterdam, 1971).
Kuhn, S. “The Domino Relations: Flattening a Two-Dimensional Logic,” J. Philosophical Logic 18, 173–195 (1989).
Venema, Y. Many-Dimensional Modal Logic (Universiteit van Amsterdam, Amsterdam, 1989).
Jónsson, B. “Varieties of Relation Algebras,” Algebra Univers. 54, 273–299 (1982).
Schein, B. M. “Representation of Involuted Semigroups by Binary Relations,” Fundam. Math. 82, No. 2, 121–141 (1974).
Bredikhin, D. A. “On Varieties of Aemigroups of Relations with Operations of Cylindrification,” Contributions to General Algebra 16, 1–6 (2005).
Bredikhin, D. A. “Equational Theory of Relation Algebras with Positive Operations,” Russian Mathematics (Iz. VUZ) 37(3), 21–28 (1993).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © D.A. Bredikhin, A.V. Popovich, 2014, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2014, No. 8, pp. 90–95.
(Submitted by L.N. Shevrin)
About this article
Cite this article
Bredikhin, D.A., Popovich, A.V. Identities of semigroups of relations with an operator of reflexive double cylindrification. Russ Math. 58, 74–77 (2014). https://doi.org/10.3103/S1066369X14080106
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1066369X14080106