Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637): Difference between revisions

@@ Property / author @@
-Noriko H. Arai
@@ Property / author: Noriko H. Arai / rank @@
-Normal rank
@@ Property / author @@
+Noriko H. Arai
@@ Property / author: Noriko H. Arai / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability of cut-free Gentzen type propositional calculus with permutation inference
+Normal rank
@@ Property / cites work @@
+A proper hierarchy of propositional sequent calculi
+Normal rank
@@ Property / cites work @@
+A bounded arithmetic AID for Frege systems
@@ Property / cites work: A bounded arithmetic AID for Frege systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234077
@@ Property / cites work: Q4234077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850545
@@ Property / cites work: Q4850545 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on lengths of propositional proofs
@@ Property / cites work: Some remarks on lengths of propositional proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Resolution proofs of generalized pigeonhole principles
+Normal rank
@@ Property / cites work @@
+Cutting planes, connectivity, and threshold logic
@@ Property / cites work: Cutting planes, connectivity, and threshold logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional consistency proofs
@@ Property / cites work: Propositional consistency proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375787
@@ Property / cites work: Q4375787 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+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 @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank