Distributive residuated frames and generalized bunched implication algebras (Q1686325): Difference between revisions

@@ Property / OpenAlex ID @@
+W2761182803
@@ Property / OpenAlex ID: W2761182803 / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite embeddability property for residuated ordered groupoids
+Normal rank
@@ Property / cites work @@
+The FEP for some varieties of fully distributive knotted residuated lattices
+Normal rank
@@ Property / cites work @@
+MacNeille completions of FL-algebras
@@ Property / cites work: MacNeille completions of FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+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 @@
+Residuated frames with applications to decidability
+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 @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank