A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284): Difference between revisions

@@ Property / author @@
-Karim Nour
@@ Property / author: Karim Nour / rank @@
-Normal rank
@@ Property / author @@
+Karim Nour
@@ Property / author: Karim Nour / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2077107862
@@ Property / OpenAlex ID: W2077107862 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0760
@@ Property / arXiv ID: 0905.0760 / 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 @@
+Q4490745
@@ Property / cites work: Q4490745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249227
@@ Property / cites work: Q4249227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012886
@@ Property / cites work: Q4012886 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization without reducibility
@@ Property / cites work: Normalization without reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / 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 @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of classical disjunction
@@ Property / cites work: On the semantics of classical disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490747
@@ Property / cites work: Q4490747 / rank @@
+Normal rank
@@ Property / cites work @@
+On the intuitionistic force of classical search
@@ Property / cites work: On the intuitionistic force of classical search / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof theory of the intermediate logic MH
@@ Property / cites work: On the proof theory of the intermediate logic MH / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization theorems for full first order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q4122841
@@ Property / cites work: Q4122841 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4650284