Proof-terms for classical and intuitionistic resolution (Q4647497): Difference between revisions

@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667967
@@ Property / cites work: Q3667967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / 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. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819038
@@ Property / cites work: Q3819038 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q3972527
@@ Property / cites work: Q3972527 / rank @@
+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 @@
+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 @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank