A proper hierarchy of propositional sequent calculi (Q1350509): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q4010371
@@ Property / cites work: Q4010371 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Gentzen systems for propositional logic
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00193-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2024117148
@@ Property / OpenAlex ID: W2024117148 / rank @@
+Normal rank