Proof complexity of intuitionistic implicational formulas (Q331054): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2016.09.003
@@ Property / DOI: 10.1016/j.apal.2016.09.003 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 03B20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B55
@@ Property / Mathematics Subject Classification ID: 03B55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6643769
@@ Property / zbMATH DE Number: 6643769 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof complexity
@@ Property / zbMATH Keywords: proof complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic logic
@@ Property / zbMATH Keywords: intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implicational fragment
@@ Property / zbMATH Keywords: implicational fragment / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2211994174
@@ Property / OpenAlex ID: W2211994174 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05667
@@ Property / arXiv ID: 1512.05667 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / 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 @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The separation theorem of intuitionist propositional calculus
+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 @@
+Frege systems for extensible modal logics
@@ Property / cites work: Frege systems for extensible modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution Frege and extended Frege proof systems in non-classical logics
+Normal rank
@@ Property / cites work @@
+Positive Formulas in Intuitionistic and Minimal Logic
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q5460922
@@ Property / cites work: Q5460922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3924171
@@ Property / cites work: Q3924171 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2016.09.003
@@ Property / DOI: 10.1016/J.APAL.2016.09.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:331054