On the proof complexity of logics of bounded branching (Q2084964): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2022.103181
@@ Property / DOI: 10.1016/j.apal.2022.103181 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113880314
@@ Property / Wikidata QID: Q113880314 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the disjunction and existential properties in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On the computational content of intuitionistic propositional proofs
+Normal rank
@@ Property / cites work @@
+Q4723713
@@ Property / cites work: Q4723713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+On the complexity of the disjunction property in intuitionistic and modal logics
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Lower bounds for modal logics
@@ Property / cites work: Lower bounds for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A lower bound for intuitionistic logic
@@ Property / cites work: A lower bound for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On lengths of proofs in non-classical logics
@@ Property / cites work: On lengths of proofs in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, Boolean complexity, and derandomization
+Normal rank
@@ Property / cites work @@
+Frege systems for extensible modal logics
@@ Property / cites work: Frege systems for extensible modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Bases of Admissible Rules
@@ Property / cites work: Independent Bases of Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution Frege and extended Frege proof systems in non-classical logics
+Normal rank
@@ Property / cites work @@
+Rules with parameters in modal logic. I.
@@ Property / cites work: Rules with parameters in modal logic. I. / rank @@
+Normal rank
@@ Property / cites work @@
+Proof complexity of intuitionistic implicational formulas
+Normal rank
@@ Property / cites work @@
+Rules with parameters in modal logic. II.
@@ Property / cites work: Rules with parameters in modal logic. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Complexity
@@ Property / cites work: Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q5460922
@@ Property / cites work: Q5460922 / rank @@
+Normal rank
@@ Property / cites work @@
+On reducibility and symmetry of disjoint NP pairs.
+Normal rank
@@ Property / cites work @@
+INCOMPLETENESS IN THE FINITE DOMAIN
@@ Property / cites work: INCOMPLETENESS IN THE FINITE DOMAIN / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668435
@@ Property / cites work: Q5668435 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2022.103181
@@ Property / DOI: 10.1016/J.APAL.2022.103181 / rank @@
+Normal rank