The structure of generalized BI-algebras and weakening relation algebras
type: Item
instance of: scholarly article
title: The structure of generalized BI-algebras and weakening relation algebras
zbMATH Open document ID: 1481.03069
author: Nikolaos Galatos
author: Peter Jipsen
published in: Algebra Universalis
publication date: 2020-07-13T00:00:00Z
full work available at URL: https://digitalcommons.chapman.edu/scs_articles/667
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 7219821
zbMATH Keywords: bunched implication algebra
zbMATH Keywords: relation algebra
zbMATH Keywords: weakening relation
zbMATH Keywords: discriminator
zbMATH Keywords: substructural logic
zbMATH Keywords: residuated lattice
MaRDI profile type: Publication
OpenAlex ID: W3036607119
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: A new foundation for the theory of relations
cites work: Theory of Multigroups
cites work: Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
cites work: Periodic lattice-ordered pregroups are distributive
cites work: Residuated frames with applications to decidability
cites work: Distributive residuated frames and generalized bunched implication algebras
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Ideals in universal algebras
cites work: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
cites work: Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
cites work: Varieties of relation algebras
cites work: Boolean Algebras with Operators
cites work: Relation algebras as residuated Boolean algebras
cites work: The semantics and proof theory of the logic of bunched implications
DOI: 10.1007/S00012-020-00663-9
description: scientific article; zbMATH DE number 7219821