A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531): Difference between revisions

@@ Property / describes a project that uses @@
+CERES
@@ Property / describes a project that uses: CERES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-92687-0_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1605178040
@@ Property / OpenAlex ID: W1605178040 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+Normal rank
@@ Property / cites work @@
+Towards a clausal analysis of cut-elimination
@@ Property / cites work: Towards a clausal analysis of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and redundancy-elimination by resolution
+Normal rank
@@ Property / cites work @@
+CERES: An analysis of Fürstenberg's proof of the infinity of primes
+Normal rank
@@ Property / cites work @@
+CERES in higher-order logic
@@ Property / cites work: CERES in higher-order logic / 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 @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Transformation by CERES
@@ Property / cites work: Proof Transformation by CERES / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cut normal forms and proof complexity
@@ Property / cites work: Cut normal forms and proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A compact representation of proofs
@@ Property / cites work: A compact representation of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing approaches to resolution based higher-order theorem proving
+Normal rank
@@ Property / cites work @@
+Q2751368
@@ Property / cites work: Q2751368 / rank @@
+Normal rank