Relation algebras, idempotent semirings and generalized bunched implication algebras

DOI10.1007/978-3-319-57418-9_9zbMATH Open1486.03120OpenAlexW2607699588MaRDI QIDQ5283208FDOQ5283208

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

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

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)

Cites Work

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

Cited In (14)

• Counting and Computing Join-Endomorphisms in Lattices
• Ideal Related Algebras and Their Logics Extended Abstract
• Weakening Relation Algebras and FL$$^2$$-algebras
• 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
• 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)