A simple proof that super-consistency implies cut elimination (Q691121): Difference between revisions

@@ Property / OpenAlex ID @@
+W2081303576
@@ Property / OpenAlex ID: W2081303576 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Cut-elimination in the Intuitionistic Theory of Types
+Normal rank
@@ Property / cites work @@
+Truth Values Algebras and Proof Normalization
@@ Property / cites work: Truth Values Algebras and Proof Normalization / rank @@
+Normal rank
@@ Property / cites work @@
+HOL-λσ: an intentional first-order expression of  higher-order logic
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Proof That Super-Consistency Implies Cut Elimination
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
+Normal rank
@@ Property / cites work @@
+Completeness and Cut-elimination in the Intuitionistic Theory of Types--Part 2
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Hauptsatz for higher order logic
@@ Property / cites work: Hauptsatz for higher order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
+Normal rank
@@ Property / cites work @@
+A proof of cut-elimination theorem in simple type-theory
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank