Inversion Principles and Introduction Rules (Q5213611): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2117477628
@@ Property / OpenAlex ID: W2117477628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Is Even Minimal Negation Constructive?
@@ Property / cites work: Is Even Minimal Negation Constructive? / rank @@
+Normal rank
@@ Property / cites work @@
+Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
+Normal rank
@@ Property / cites work @@
+SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
+Normal rank
@@ Property / cites work @@
+Q2939745
@@ Property / cites work: Q2939745 / rank @@
+Normal rank
@@ Property / cites work @@
+On Inversion Principles
@@ Property / cites work: On Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of linear calculi
@@ Property / cites work: Varieties of linear calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction with general elimination rules
@@ Property / cites work: Natural deduction with general elimination rules / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+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 @@
+Q4192055
@@ Property / cites work: Q4192055 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on existential instantiation
@@ Property / cites work: A note on existential instantiation / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction rules, meaning-as-use, and proof-theoretic semantics
+Normal rank
@@ Property / cites work @@
+Harmony and autonomy in classical logic
@@ Property / cites work: Harmony and autonomy in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Identity and harmony
@@ Property / cites work: Identity and harmony / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY
+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 @@
+Q5187275
@@ Property / cites work: Q5187275 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank
@@ Property / cites work @@
+Connectives stranger than tonk
@@ Property / cites work: Connectives stranger than tonk / rank @@
+Normal rank