The deduction theorem for strong propositional proof systems (Q987382): Difference between revisions

@@ Property / Wikidata QID @@
+Q59903234
@@ Property / Wikidata QID: Q59903234 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1993478355
@@ Property / OpenAlex ID: W1993478355 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of representable disjoint \textsf{NP}-pairs
+Normal rank
@@ Property / cites work @@
+The Deduction Theorem for Strong Propositional Proof Systems
+Normal rank
@@ Property / cites work @@
+Logical Closure Properties of Propositional Proof Systems
+Normal rank
@@ Property / cites work @@
+Tuples of disjoint \(\mathsf{NP}\)-sets
@@ Property / cites work: Tuples of disjoint \(\mathsf{NP}\)-sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140632
@@ Property / cites work: Q3140632 / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction rule and linear and near-linear proof simulations
+Normal rank
@@ Property / cites work @@
+Q4850545
@@ Property / cites work: Q4850545 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Reductions between disjoint NP-pairs
@@ Property / cites work: Reductions between disjoint NP-pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Disjoint NP-Pairs
@@ Property / cites work: Disjoint NP-Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical disjoint NP-pairs of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Complexity Measures for Public-Key Cryptosystems
@@ Property / cites work: Complexity Measures for Public-Key Cryptosystems / rank @@
+Normal rank
@@ Property / cites work @@
+Oracles for structural properties: The isomorphism problem and public-key cryptography
+Normal rank
@@ Property / cites work @@
+Optimal proof systems imply complete sets for promise classes
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ Property / cites work @@
+On reducibility and symmetry of disjoint NP pairs.
+Normal rank
@@ Property / cites work @@
+On an optimal propositional proof system and the structure of easy subsets of TAUT.
+Normal rank