On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+Normal rank
@@ Property / cites work @@
+Q4664249
@@ Property / cites work: Q4664249 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Mathematical Logic (PMS-13)
@@ Property / cites work: Introduction to Mathematical Logic (PMS-13) / rank @@
+Normal rank
@@ Property / cites work @@
+Eigenvariables, bracketing and the decidability of positive minimal predicate logic
+Normal rank
@@ Property / cites work @@
+Syntactic preservation theorems for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
+Normal rank
@@ Property / cites work @@
+The Inhabitation Problem for Rank Two Intersection Types
+Normal rank
@@ Property / cites work @@
+Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
+Normal rank
@@ Property / cites work @@
+Q4109666
@@ Property / cites work: Q4109666 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+On existential theorems in non-classical functional calculi
+Normal rank
@@ Property / cites work @@
+The Complexity of Inhabitation with Explicit Intersection
+Normal rank
@@ Property / cites work @@
+On the first-order prefix hierarchy
@@ Property / cites work: On the first-order prefix hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted Positive Quantification Is Not Elementary
+Normal rank
@@ Property / cites work @@
+How Hard Is Positive Quantification?
@@ Property / cites work: How Hard Is Positive Quantification? / rank @@
+Normal rank
@@ Property / cites work @@
+On the Mints Hierarchy in First-Order Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Inhabitation of Low-Rank Intersection Types
@@ Property / cites work: Inhabitation of Low-Rank Intersection Types / rank @@
+Normal rank