Studying provability in implicational intuitionistic logic (Q4916206): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315299
@@ Property / cites work: Q4315299 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness of normal proofs in implicational intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4263863
@@ Property / cites work: Q4263863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708317
@@ Property / cites work: Q2708317 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof finding algorithms for implicational logics
@@ Property / cites work: Proof finding algorithms for implicational logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal types of BCK-lambda-terms
@@ Property / cites work: Principal types of BCK-lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Q3999386
@@ Property / cites work: Q3999386 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Uniqueness of normal proofs of minimal formulas
@@ Property / cites work: Uniqueness of normal proofs of minimal formulas / rank @@
+Normal rank