Skip to main content
SpringerLink
Log in

On identities of relation algebras with domino operations

  • Published:
Russian Mathematics Aims and scope Submit manuscript

Abstract

In this paper we find a basis of identities of varieties generated by classes of relation algebras with the operation of relation product and domino operations.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Schwizer, B., Sklar, A. “The Algebra of Functions,” Math. Ann. 139, 366–382 (1960).

    Article  MathSciNet  Google Scholar 

  2. Bredikhin, D. A. “On Algebras of Relations,” Banach Center Publ. 28, 191–199 (1993).

    MathSciNet  Google Scholar 

  3. Henkin, L., Monk, J. D., Tarski, A. Cylindric Algebras (North-Holland, Amsterdam, 1971).

    MATH  Google Scholar 

  4. Bredikhin, D. A. “On Varieties of Semigroups of Relations with Operations of Cylindrification,” Contributions to General Algebra 16, 1–6 (2005).

    MathSciNet  Google Scholar 

  5. Venema, Y. Many-Dimensional Modal Logic (Universiteit van Amsterdam, Amsterdam, 1989).

    Google Scholar 

  6. Kuhn, S. “The domino Relations: Flattening a Two-Dimensional Logic,” J. Philosophical Logic 18, 173–195 (1989).

    Article  MATH  Google Scholar 

  7. Bredikhin, D. A. “Equational Theory of Relation Algebras with Positive Operation,” Russian Mathematics (Iz. VUZ) 37, No. 3, 21–28 (1993).

    MATH  MathSciNet  Google Scholar 

  8. Bredikhin, D. A. “Relation Algebras with Diophantine Operations,” Dokl. Math. 57, No. 3, 435–437 (1998).

    Google Scholar 

  9. Tarski, A. “On the Calculus of Relations,” J. Symbolic Logic 4, 73–89 (1941).

    Article  MathSciNet  Google Scholar 

  10. Schein, B.M. “Relation Algebras and Function Semigroups,” Semigroup Forum 1, No. 1, 1–62 (1970).

    Article  MATH  MathSciNet  Google Scholar 

  11. Andreka, H., Nemeti, I., Sain, I. “Algebraic Logic,” in Handbook of Philosophical Logic (Kluwer Academic Publishers, 2001), Vol. 2, pp. 133–247.

    MathSciNet  Google Scholar 

  12. Jonsson, B. “Varieties of Relation Algebras,” Algebra Univers. 54, 273–299 (1982).

    Article  Google Scholar 

  13. Andreka, H., Bredikhin, D. A. “The Equational Theory of Union-Free Algebras of Relations,” Algebra Univers. 33, 516–532 (1994).

    Article  MathSciNet  Google Scholar 

  14. Böner, P., Pöschel, F. R. “Clones of Operations on Binary Relations,” Contributions to General Algebras 7, 50–70 (1991).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Saratov State Technical University, ul. Politekhnicheskaya 77, Saratov, 410054, Russia

    D. A. Bredikhin

Authors
  1. D. A. Bredikhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. A. Bredikhin.

Additional information

Original Russian Text © D.A. Bredikhin, 2015, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2015, No. 2, pp. 76–81.

Submitted by L.N. Shevrin

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bredikhin, D.A. On identities of relation algebras with domino operations. Russ Math. 59, 62–66 (2015). https://doi.org/10.3103/S1066369X15020097

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S1066369X15020097

Keywords

Search

Navigation