The finite model property for BCK and BCIW (Q1317904): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
@@ Property / cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1317904