Connectification for \(n\)-contraction (Q1891929): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Extending intuitionistic linear logic with knotted structural rules
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+Normal rank
@@ Property / cites work @@
+Q3659781
@@ Property / cites work: Q3659781 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Freyd cover of a topos
@@ Property / cites work: On the Freyd cover of a topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310620
@@ Property / cites work: Q3310620 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary intuitionistic theories
@@ Property / cites work: Elementary intuitionistic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank