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

@@ Property / describes a project that uses @@
+MUSCADET
@@ Property / describes a project that uses: MUSCADET / 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-319-24312-2_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2255911289
@@ Property / OpenAlex ID: W2255911289 / rank @@
+Normal rank
@@ 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