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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2002953392
@@ Property / OpenAlex ID: W2002953392 / 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