Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208): Difference between revisions

@@ Property / OpenAlex ID @@
+W2607699588
@@ Property / OpenAlex ID: W2607699588 / rank @@
+Normal rank
@@ Property / cites work @@
+General coupled semirings of residuated lattices
@@ Property / cites work: General coupled semirings of residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702474
@@ Property / cites work: Q5702474 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Relation algebras as expanded FL-algebras
@@ Property / cites work: Relation algebras as expanded FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrepresentable sequential algebras
@@ Property / cites work: Nonrepresentable sequential algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras as residuated Boolean algebras
@@ Property / cites work: Relation algebras as residuated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable logics with a binary modality
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+A Gentzen system for involutive residuated lattices
+Normal rank