Relation algebras, idempotent semirings and generalized bunched implication algebras

DOI10.1007/978-3-319-57418-9_9MaRDI QIDQ5283208zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The structure of generalized BI-algebras and weakening relation algebras
• From semirings to residuated Kleene lattices
• Relation algebras as expanded FL-algebras
• Many-valued relation algebras
• Some algebraic theory for many-valued relation algebras

Cites work

• scientific article; zbMATH DE number 2221683 (Why is no real title available?)
• A Gentzen system for involutive residuated lattices
• Boolean Algebras with Operators
• Decidable and undecidable logics with a binary modality
• General coupled semirings of residuated lattices
• Nonrepresentable sequential algebras
• On representable relation algebras
• Relation algebras as expanded FL-algebras
• Relation algebras as residuated Boolean algebras
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• The semantics and proof theory of the logic of bunched implications
• The semantics of BI and resource tableaux

Cited in

(16)

• Counting and Computing Join-Endomorphisms in Lattices
• Ideal Related Algebras and Their Logics Extended Abstract
• Weakening Relation Algebras and FL^2-algebras
• Relational and algebraic methods in computer science
• Representable and diagonally representable weakening relation algebras
• Semiring identities of finite inverse semigroups
• SEMIRING AND INVOLUTION IDENTITIES OF POWER GROUPS
• Stone duality for relations
• The Involutive Quantaloid of Completely Distributive Lattices
• Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
• The structure of generalized BI-algebras and weakening relation algebras
• A note on similarity relations between fuzzy attribute-oriented concept lattices
• Injective and projective semimodules over involutive semirings
• From semirings to residuated Kleene lattices
• Distributive residuated frames and generalized bunched implication algebras
• Implication algebras and implication semigroups of binary relations

This page was built for publication: Relation algebras, idempotent semirings and generalized bunched implication algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283208)