Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras

DOI10.1007/978-3-319-57418-9_9zbMath1486.03120OpenAlexW2607699588MaRDI QIDQ5283208

Peter Jipsen

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.chapman.edu/scs_articles/568

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Semirings (16Y60) Ordered semigroups and monoids (06F05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (9)

Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ The Involutive Quantaloid of Completely Distributive Lattices ⋮ Semiring identities of finite inverse semigroups ⋮ SEMIRING AND INVOLUTION IDENTITIES OF POWER GROUPS ⋮ Injective and projective semimodules over involutive semirings ⋮ A note on similarity relations between fuzzy attribute-oriented concept lattices ⋮ Representable and diagonally representable weakening relation algebras ⋮ The structure of generalized BI-algebras and weakening relation algebras

Cites Work

• Unnamed Item
• General coupled semirings of residuated lattices
• A Gentzen system for involutive residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Relation algebras as residuated Boolean algebras
• Decidable and undecidable logics with a binary modality
• Relation algebras as expanded FL-algebras
• The semantics and proof theory of the logic of bunched implications
• On representable relation algebras
• The semantics of BI and resource tableaux
• Nonrepresentable sequential algebras
• Residuated frames with applications to decidability
• Boolean Algebras with Operators

This page was built for publication: Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras