The fundamental problem of general proof theory (Q2631642): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-018-9785-9
@@ Property / DOI: 10.1007/s11225-018-9785-9 / rank @@
-Normal rank
@@ Property / cites work @@
+Realizability and intuitionistic logic
@@ Property / cites work: Realizability and intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088782
@@ Property / cites work: Q4088782 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4757531
@@ Property / cites work: Q4757531 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633976
@@ Property / cites work: Q5633976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247025
@@ Property / cites work: Q4247025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Deductive Inference
@@ Property / cites work: Explaining Deductive Inference / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / DOI @@
+.1007/S11225-018-9785-9
@@ Property / DOI: 10.1007/S11225-018-9785-9 / rank @@
+Normal rank