On the intuitionistic force of classical search (Q1575923): Difference between revisions

@@ Property / author @@
-David J. Pym
@@ Property / author: David J. Pym / rank @@
-Normal rank
@@ Property / author @@
+David J. Pym
@@ Property / author: David J. Pym / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Some pitfalls of LK-to-LJ translations and how to avoid them
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+The liberalized \(\delta\)-rule in free variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626300
@@ Property / cites work: Q5626300 / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+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 @@
+A note on the proof theory of the \(\lambda \Pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A Uniform Proof-theoretic Investigation of Linear Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4012884
@@ Property / cites work: Q4012884 / rank @@
+Normal rank
@@ Property / cites work @@
+On the intuitionistic force of classical search (Extended abstract)
+Normal rank
@@ Property / cites work @@
+Proof-terms for classical and intuitionistic resolution
+Normal rank
@@ Property / cites work @@
+Q4264720
@@ Property / cites work: Q4264720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank