Validity concepts in proof-theoretic semantics (Q2500820): Difference between revisions

@@ Property / cites work @@
+Q4088782
@@ Property / cites work: Q4088782 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial inductive definitions
@@ Property / cites work: Partial inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof-theoretic foundation of general definition theory
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming
@@ Property / cites work: A Proof-Theoretic Approach to Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
+Normal rank
@@ Property / cites work @@
+On the idea of a general proof theory
@@ Property / cites work: On the idea of a general proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012888
@@ Property / cites work: Q4012888 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics for classical mathematics
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank