Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981): Difference between revisions

@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of proofs for a BCK-formula
@@ Property / cites work: The number of proofs for a BCK-formula / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Normal proofs and their grammar
@@ Property / cites work: Normal proofs and their grammar / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability of free algebras
@@ Property / cites work: \(\lambda\)-definability of free algebras / rank @@
+Normal rank