Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171): Difference between revisions

@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
+Normal rank
@@ Property / cites work @@
+Inversion Principles and Introduction Rules
@@ Property / cites work: Inversion Principles and Introduction Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264064
@@ Property / cites work: Q4264064 / 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 @@
+Normalization and excluded middle. I
@@ Property / cites work: Normalization and excluded middle. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / 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 @@
+Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+Normal rank