A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-005-0314-y
@@ Property / DOI: 10.1007/s00153-005-0314-y / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.0358
@@ Property / arXiv ID: 0905.0358 / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser property of a simple reduction for full first-order classical natural deduction
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
+Normal rank
@@ Property / cites work @@
+Non-strictly positive fixed points for classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / DOI @@
+.1007/S00153-005-0314-Y
@@ Property / DOI: 10.1007/S00153-005-0314-Y / rank @@
+Normal rank