Failure of completeness in proof-theoretic semantics (Q2516584): Difference between revisions

@@ Property / cites work @@
+INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
+Normal rank
@@ Property / cites work @@
+A Critical Remark on the BHK Interpretation of Implication
+Normal rank
@@ Property / cites work @@
+Constructive semantics, admissibility of rules and the validity of Peirce's law
+Normal rank
@@ Property / cites work @@
+On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
+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 @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+On an inferential semantics for classical logic
@@ Property / cites work: On an inferential semantics for classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+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 @@
+An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
+Normal rank
@@ Property / cites work @@
+Classical logic without bivalence
@@ Property / cites work: Classical logic without bivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Base-extension semantics for intuitionistic sentential logic
+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 @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
+Normal rank
@@ Property / cites work @@
+The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
+Normal rank