Distributive full Lambek calculus has the finite model property (Q1015484): Difference between revisions

@@ Property / cites work @@
+Algebraic aspects of cut elimination
@@ Property / cites work: Algebraic aspects of cut elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzenization and decidability of some contraction-less relevant logics
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Adding involution to residuated structures
@@ Property / cites work: Adding involution to residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+\(TW_+\) and \(RW_+\) are decidable
@@ Property / cites work: \(TW_+\) and \(RW_+\) are decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank