Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
From MaRDI portal
Publication:5283208
DOI10.1007/978-3-319-57418-9_9zbMath1486.03120OpenAlexW2607699588MaRDI QIDQ5283208
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
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