Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886): Difference between revisions

@@ Property / cites work @@
+Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
+Normal rank
@@ Property / cites work @@
+Consistency of Heyting arithmetic in natural deduction
+Normal rank
@@ Property / cites work @@
+Die Grundlegung der elementaren Zahlenlehre
@@ Property / cites work: Die Grundlegung der elementaren Zahlenlehre / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708773
@@ Property / cites work: Q3708773 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization theorems for full first order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
+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 @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
+Normal rank
@@ Property / cites work @@
+In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
+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 @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank