On the intuitionistic force of classical search (Extended abstract) (Q4645244): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61208-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1587919740
@@ Property / OpenAlex ID: W1587919740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+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. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+The liberalized \(\delta\)-rule in free variable semantic tableaux
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / 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 @@
+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