The structure of generalized BI-algebras and weakening relation algebras (Q776989): Difference between revisions

@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+A new foundation for the theory of relations
@@ Property / cites work: A new foundation for the theory of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Multigroups
@@ Property / cites work: Theory of Multigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
+Normal rank
@@ Property / cites work @@
+Periodic lattice-ordered pregroups are distributive
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Distributive residuated frames and generalized bunched implication algebras
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
+Normal rank
@@ Property / cites work @@
+Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation 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 @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank