Cut as Consequence (Q3019775): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/01445340.2010.522365
+Normal rank
@@ Property / OpenAlex ID @@
+W1989164074
@@ Property / OpenAlex ID: W1989164074 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski on truth and logical consequence
@@ Property / cites work: Tarski on truth and logical consequence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736161
@@ Property / cites work: Q5736161 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+From Foundations to Ludics
@@ Property / cites work: From Foundations to Ludics / rank @@
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+Normal rank
@@ Property / cites work @@
+Q3016126
@@ Property / cites work: Q3016126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank