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.
Buy single article
Instant access to the full article PDF.
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Blount, K.: On the Structure of Residuated Lattices, Ph.D. dissertation, Vanderbilt University, Nashville, TN, USA (1999)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13(4), 437–461 (2003)
Comer, S.: A new foundation for the theory of relations. Notre Dame J. Formal Logic 24(2), 181–187 (1983)
Di Nola, A., Grigolia, R., Vitale, G.: On the variety of Gödel MV-algebras, Soft Computing (2019) https://doi.org/10.1007/s00500-019-04235-5
Dresher, M., Ore, O.: Theory of multigroups. Am. J. Math. 60(3), 705–733 (1938)
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)
Galatos, N., Jipsen, P.: Periodic lattice-ordered pregroups are distributive. Algebra Universalis 68(1–2), 145–150 (2012)
Galatos, N., Jipsen, P.: Residuated frames with applications to decidability. Trans. Am. Math. Soc. 365, 1219–1249 (2013)
Galatos, N., Jipsen, P.: Distributive residuated frames and generalized bunched implication algebras. Algebra Universalis 78(3), 303–336 (2017)
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)
Gumm, H.P., Ursini, A.: Ideals Univers. Algebras 19(1), 45–54 (1984)
Jipsen, P.: Representable sequential algebras and observation spaces. J. Relat. Methods Comput. Sci. 1, 235–250 (2004)
Jipsen, P.: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Soft Comput. 21(1), 17–27 (2017)
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
Jónsson, B.: Varieties of relation algebras. Algebra Univers. 15, 273–298 (1982)
Jónsson, B., Tarski, A.: Representation problems for relation algebras (Abstract 89t). Bull. Am. Math. Soc. 54, 80 (1948)
Jónsson, B., Tarski, A.: Boolean algebras with operators, Part II. Am. J. Math. 74, 127–162 (1952)
Jónsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Univers. 30(4), 469–478 (1993)
Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications, Kluwer Academic Publishers. Applied Logic Series 26, (2002)
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)
Tarski, A.: On the calculus of relations. J. Symb. Logic 6(3), 73–89 (1941)
Presented by J.G. Raftery.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Galatos, N., Jipsen, P. The structure of generalized BI-algebras and weakening relation algebras. Algebra Univers. 81, 35 (2020). https://doi.org/10.1007/s00012-020-00663-9
- Bunched implication algebra
- Relation algebra
- Weakening relation
- Substructural logic
- Residuated lattice
Mathematics Subject Classification