Full Lambek Calculus in natural deduction (Q3406453): Difference between revisions

@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for intuitionistic linear logic
@@ Property / cites work: Natural deduction for intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural Logics in Natural Deduction
@@ Property / cites work: Substructural Logics in Natural Deduction / rank @@
+Normal rank