Experiments in linear natural deduction (Q1392279): Difference between revisions

@@ Property / cites work @@
+Q4283230
@@ Property / cites work: Q4283230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138536
@@ Property / cites work: Q3138536 / rank @@
+Normal rank
@@ Property / cites work @@
+Full intuitionistic linear logic
@@ Property / cites work: Full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / 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 @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank