Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003): Difference between revisions

@@ Property / cites work @@
+Q4449226
@@ Property / cites work: Q4449226 / rank @@
+Normal rank
@@ Property / cites work @@
+Results regarding the axiomatization of partial propositional calculi
+Normal rank
@@ Property / cites work @@
+Q4866422
@@ Property / cites work: Q4866422 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the disjunction property of propositional logics and other related problems
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+An undecidable problem in correspondence theory
@@ Property / cites work: An undecidable problem in correspondence theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+A detailed argument for the Post-Linial theorems
@@ Property / cites work: A detailed argument for the Post-Linial theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q3247123
@@ Property / cites work: Q3247123 / rank @@
+Normal rank
@@ Property / cites work @@
+A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem
+Normal rank
@@ Property / cites work @@
+The Post-Lineal theorems for arbitrary recursively enumerable degree of unsolvability
+Normal rank
@@ Property / cites work @@
+Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi
+Normal rank
@@ Property / cites work @@
+Q5783647
@@ Property / cites work: Q5783647 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4525287
@@ Property / cites work: Q4525287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5822052
@@ Property / cites work: Q5822052 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q3206929
@@ Property / cites work: Q3206929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964525
@@ Property / cites work: Q3964525 / rank @@
+Normal rank
@@ Property / cites work @@
+A complex of problems proposed by Post
@@ Property / cites work: A complex of problems proposed by Post / rank @@
+Normal rank
@@ Property / cites work @@
+A note on finite axiomatization of partial propositional calculi
+Normal rank
@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank