Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774): Difference between revisions

@@ Property / cites work @@
+Q3007254
@@ Property / cites work: Q3007254 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+A Terminating Evaluation-Driven Variant of G3i
@@ Property / cites work: A Terminating Evaluation-Driven Variant of G3i / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation-Driven Decision Procedure for G3i
@@ Property / cites work: An Evaluation-Driven Decision Procedure for G3i / rank @@
+Normal rank
@@ Property / cites work @@
+Goal-directed proof theory
@@ Property / cites work: Goal-directed proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Q3150304
@@ Property / cites work: Q3150304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal natural deduction proofs (in classical logic)
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank