On Canonical Embeddings of Residuated Groupoids (Q5414968): Difference between revisions

@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751052
@@ Property / cites work: Q2751052 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Q2751047
@@ Property / cites work: Q2751047 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Powerset Residuated Algebras and Generalized Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Relational Semantics for the Lambek-Grishin Calculus
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+Some lattice models of bilinear logic
@@ Property / cites work: Some lattice models of bilinear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842967
@@ Property / cites work: Q4842967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250067
@@ Property / cites work: Q4250067 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank