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

@@ Property / DOI @@
-.1007/s00012-017-0456-x
@@ Property / DOI: 10.1007/s00012-017-0456-x / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00012-017-0456-X
@@ Property / DOI: 10.1007/S00012-017-0456-X / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1686325