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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-009-9172-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2048656560
@@ Property / OpenAlex ID: W2048656560 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1015484