In this paper, we find axiom systems and bases of identities for classes of algebras of binary relations with operations defined by logical formulas containing only conjunctions.

中文翻译：

---

关于带合运算的二元关系代数

在本文中，我们找到了二元关系代数类的公理系统和恒等式的基础，这些二元关系代数的类的运算由仅包含合词的逻辑公式定义。