Algebraic proofs of cut elimination (Q1349247): Difference between revisions

@@ Property / cites work @@
+Saturated models of universal theories
@@ Property / cites work: Saturated models of universal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Transfer principles in nonstandard intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Q4281467
@@ Property / cites work: Q4281467 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik
+Normal rank
@@ Property / cites work @@
+Two applications of Boolean models
@@ Property / cites work: Two applications of Boolean models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623646
@@ Property / cites work: Q5623646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Proof theory in the USSR 1925–1969
@@ Property / cites work: Proof theory in the USSR 1925–1969 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Sheaf Semantics
@@ Property / cites work: Constructive Sheaf Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3035254
@@ Property / cites work: Q3035254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank