Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-014-9564-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2034981868
@@ Property / OpenAlex ID: W2034981868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of proof in the pure functional calculus of the first order
+Normal rank
@@ Property / cites work @@
+Logical consequence in modal logic: Natural deduction in S5
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistic Sheffer function
@@ Property / cites work: An intuitionistic Sheffer function / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414345
@@ Property / cites work: Q3414345 / 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 @@
+Quantification theory and empty individual-domains
+Normal rank
@@ Property / cites work @@
+A theory of restricted quantification I
@@ Property / cites work: A theory of restricted quantification I / rank @@
+Normal rank
@@ Property / cites work @@
+Actuality and quantification
@@ Property / cites work: Actuality and quantification / 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 @@
+Q2776065
@@ Property / cites work: Q2776065 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential import revisited
@@ Property / cites work: Existential import revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+What is the logic of inference?
@@ Property / cites work: What is the logic of inference? / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of suppositions in formal logic
@@ Property / cites work: On the rules of suppositions in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541301
@@ Property / cites work: Q5541301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523668
@@ Property / cites work: Q5523668 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief History of Natural Deduction
@@ Property / cites work: A Brief History of Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Logic: a history of its central concepts
@@ Property / cites work: Logic: a history of its central concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / rank @@
+Normal rank
@@ Property / cites work @@
+The Stroke Function in Natural Deduction
@@ Property / cites work: The Stroke Function in Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797033
@@ Property / cites work: Q5797033 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification and the empty domain
@@ Property / cites work: Quantification and the empty domain / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+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 @@
+The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
+Normal rank
@@ Property / cites work @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635429
@@ Property / cites work: Q5635429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3924172
@@ Property / cites work: Q3924172 / rank @@
+Normal rank
@@ Property / cites work @@
+The adequacy problem for inferential logic
@@ Property / cites work: The adequacy problem for inferential logic / rank @@
+Normal rank