Skip to main content

The structure of generalized BI-algebras and weakening relation algebras


Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean algebras with operators and lattices with operators. We characterize congruences on GBI-algebras by filters that are closed under Gumm–Ursini terms, and for involutive GBI-algebras these terms simplify to a dual version of the congruence term for relation algebras together with two more terms. We prove that representable weakening relation algebras form a variety of cyclic involutive GBI-algebras, denoted by RWkRA, containing the variety of representable relation algebras. We describe a double-division conucleus construction on residuated lattices and on (cyclic involutive) GBI-algebras and show that it generalizes Comer’s double coset construction for relation algebras. Also, we explore how the double-division conucleus construction interacts with other class operators and in particular with variety generation. We focus on the fact that it preserves a special discriminator term, thus yielding interesting discriminator varieties of GBI-algebras, including RWkRA. To illustrate the generality of the variety of weakening relation algebras, we prove that all distributive lattice-ordered pregroups and hence all lattice-ordered groups embed, as residuated lattices, into representable weakening relation algebras on chains. Moreover, every representable weakening relation algebra is embedded in the algebra of all residuated maps on a doubly-algebraic distributive lattice. We give a number of other instructive examples that show how the double-division conucleus illuminates the structure of distributive involutive residuated lattices and GBI-algebras.

This is a preview of subscription content, access via your institution.


  1. Blount, K.: On the Structure of Residuated Lattices, Ph.D. dissertation, Vanderbilt University, Nashville, TN, USA (1999)

  2. Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13(4), 437–461 (2003)

    Article  MathSciNet  Google Scholar 

  3. Comer, S.: A new foundation for the theory of relations. Notre Dame J. Formal Logic 24(2), 181–187 (1983)

    Article  MathSciNet  Google Scholar 

  4. Di Nola, A., Grigolia, R., Vitale, G.: On the variety of Gödel MV-algebras, Soft Computing (2019)

  5. Dresher, M., Ore, O.: Theory of multigroups. Am. J. Math. 60(3), 705–733 (1938)

    Article  MathSciNet  Google Scholar 

  6. Galatos, N., Horčík, R.: Cayley’s and Holland’s theorems for idempotent semirings and their applications to residuated lattices. Semigroup Forum 87(3), 569–589 (2013)

    Article  MathSciNet  Google Scholar 

  7. Galatos, N., Jipsen, P.: Periodic lattice-ordered pregroups are distributive. Algebra Universalis 68(1–2), 145–150 (2012)

    Article  MathSciNet  Google Scholar 

  8. Galatos, N., Jipsen, P.: Residuated frames with applications to decidability. Trans. Am. Math. Soc. 365, 1219–1249 (2013)

    Article  MathSciNet  Google Scholar 

  9. Galatos, N., Jipsen, P.: Distributive residuated frames and generalized bunched implication algebras. Algebra Universalis 78(3), 303–336 (2017)

    Article  MathSciNet  Google Scholar 

  10. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: “Residuated lattices: an algebraic glimpse at substructural logics”, Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)

    MATH  Google Scholar 

  11. Gumm, H.P., Ursini, A.: Ideals Univers. Algebras 19(1), 45–54 (1984)

    Article  Google Scholar 

  12. Jipsen, P.: Representable sequential algebras and observation spaces. J. Relat. Methods Comput. Sci. 1, 235–250 (2004)

    Google Scholar 

  13. Jipsen, P.: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Soft Comput. 21(1), 17–27 (2017)

    Article  Google Scholar 

  14. Jipsen, P.: Relation algebras, idempotent semirings and generalized bunched implication algebras, in proc. 16th International Conference on Relational and Algebraic Methods in Computer Science, Lecture Notes in Computer Science, Vol. 10226, Springer (2017), 144–158

  15. Jónsson, B.: Varieties of relation algebras. Algebra Univers. 15, 273–298 (1982)

    Article  MathSciNet  Google Scholar 

  16. Jónsson, B., Tarski, A.: Representation problems for relation algebras (Abstract 89t). Bull. Am. Math. Soc. 54, 80 (1948)

    Google Scholar 

  17. Jónsson, B., Tarski, A.: Boolean algebras with operators, Part II. Am. J. Math. 74, 127–162 (1952)

    Article  Google Scholar 

  18. Jónsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Univers. 30(4), 469–478 (1993)

    Article  MathSciNet  Google Scholar 

  19. Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications, Kluwer Academic Publishers. Applied Logic Series 26, (2002)

  20. Reynolds, J.C.: Separation Logic: A logic for shared mutable data structures. 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July, Copenhagen, Proceedings 55–74 (2002)

  21. Tarski, A.: On the calculus of relations. J. Symb. Logic 6(3), 73–89 (1941)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Peter Jipsen.

Additional information

Presented by J.G. Raftery.

Publisher's Note

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

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Galatos, N., Jipsen, P. The structure of generalized BI-algebras and weakening relation algebras. Algebra Univers. 81, 35 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Bunched implication algebra
  • Relation algebra
  • Weakening relation
  • Discriminator
  • Substructural logic
  • Residuated lattice

Mathematics Subject Classification

  • 06F05
  • 08B15
  • 03B47
  • 03G10