Sequent calculus in natural deduction style (Q4328835): Difference between revisions

@@ Property / cites work @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+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 @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623646
@@ Property / cites work: Q5623646 / rank @@
+Normal rank