Skip to main content
SpringerLink
Log in

On Groupoids of Relations with One Conjunctive Operation of Rank 2

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we obtain axiom systems, bases of identities and quasi-identities for classes of algebras of binary relations with a conjunctive operation, i.e., an operation that can be defined by a logical formula containing only conjunctions. The result of applying such an operation to two binary relations is the Cartesian product of their reflexive projections. Our consideration of these classes leads to the concept of quasi-semilattices as a natural generalization of the notion of semilattices.

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. Andréka, H., and D. A. Bredikhin, The equational theory of union-free algebras of relations, Algebra Universalis 33:516–532, 1995.

    Article  Google Scholar 

  2. Andréka, H., I. Nemeti, and I. Sain, Algebraic Logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 2, 2nd ed., Kluwer Academic Publishers, 2001, pp. 133–247.

  3. Boner, P., and F. R. Poschel, Clones of operations on binary relations, Contributions to general algebra 7:50–70, 1991.

    Google Scholar 

  4. Bredikhin, D. A., On relation algebras with general superpositions, in H. Andreka, J. Monk, and I. Nemeti, (eds.), Algebraic Logic, North-Holland, Amsterdam, 1991, pp. 111–124.

  5. Bredikhin, D. A., Varieties of groupoids associated with involuted restrictive bisemigroups of binary relations, Semigroup Forum 44:87–192, 1992.

    Article  Google Scholar 

  6. Bredikhin, D. A., On algebras of relations, Banach Center Publications 28:191–199, 1992.

    Article  Google Scholar 

  7. Bredikhin, D. A., The equational theory of algebras of relations with positive operations, Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika 3:23–30, 1993 (Russian).

    Google Scholar 

  8. Bredikhin, D. A., On quasi-identities of algebras of relations with Diophantine operations, Siberian Mathematical Journal 38:23–33, 1997.

    Article  Google Scholar 

  9. Bredikhin, D. A., On Varieties of Groupoids of Relations with Operation of Binary Cylindrification, Algebra Universalis 73:43–52, 2015.

    Article  Google Scholar 

  10. Bredikhin, D. A., On partially ordered semigroups of relations with domino operations, Semigroup Forum 92:198–213, 2016.

    Article  Google Scholar 

  11. Bredikhin, D. A., On generalized subreducts of Tarski’s algebras of relations with the operation of bi-directional intersection, Algebra Universalis 79:77–92, 2018.

    Article  Google Scholar 

  12. Bredikhin, D. A., On Classes of Generalized Subreducts of Tarski’s Relation Algebras with One Diophantine Binary Operation, Mathematical Notes 106:872–884, 2019.

    Article  Google Scholar 

  13. Bredikhin, D. A., On semigroups of relations with primitive-positive operations of rank two, Mathematics. Mechanics, Saratov State University Publishing House 21:10–11, 2019.

  14. Bredikhin, D. A., On Jonsson’s Problem for Groupoids of Relations with Operation of Binary Cylindrification, Algebra Universalis 82:Article number 3, 2021.

  15. Bredikhin, D. A., On Algebras of Binary Relations with Conjunctive Operations, Algebra Universalis 82:Article number 39, 2021.

  16. Hirsch, R., and S. Mikulas, Ordered domain algebras, Journal of Applied Logic 11:266–271, 2013.

    Article  Google Scholar 

  17. Hodkinson, I., and S. Mikulas, Axiomatizability of reducts of algebras of relations, Algebra Universalis 43:127–156, 2000.

    Article  Google Scholar 

  18. Jonsson, B., Representation of modular lattices and of relation algebras, Transactions of the American Mathematical Society 92:449–464, 1959.

    Article  Google Scholar 

  19. Lyndon, R. C., The representation of relation algebras, II, Annals of Mathematics 63:294–307, 1956.

    Article  Google Scholar 

  20. Markov, V. T., A. V. Mikhalev, and A. A. Nechaev, Nonassociative algebraic structures in cryptography and coding, Fundamentalnaya i prikladnaya matematika 4:99–123, 2016.

  21. Schein, B. M., Relation algebras and function semigroups, Semigroup Forum 1:1–62, 1970.

    Article  Google Scholar 

  22. Schein, B. M., Representation of subreducts of Tarski relation algebras, in H. Andreka, J. Monk, and I. Nemeti, (eds.), Algebraic Logic, North-Holland, Amsterdam, 1991, pp. 621–635.

  23. Tarski, A., On the calculus of relations, The Journal of Symbolic Logic 6:73–89, 1941.

    Article  Google Scholar 

  24. Tarski, A., Contributions to the theory of models, III, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen 58:56–64, 1955.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Yuri Gagarin State Technical University of Saratov (SSTU), Polytechnical st. 77, Saratov, Russia, 410054

    Dmitry Bredikhin

Authors
  1. Dmitry Bredikhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dmitry Bredikhin.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Yde Venema; Received February 24, 2021.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bredikhin, D. On Groupoids of Relations with One Conjunctive Operation of Rank 2. Stud Logica 110, 1137–1153 (2022). https://doi.org/10.1007/s11225-022-09993-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-022-09993-2

Keywords

Search

Navigation