Non-axiomatizable second order intuitionistic propositional logic (Q1361248): Difference between revisions

@@ Property / author @@
-Q1361247
@@ Property / author: Q1361247 / rank @@
-Normal rank
@@ Property / author @@
+Dimitrij Skvortsov
@@ Property / author: Dimitrij Skvortsov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+On 2nd order intuitionistic propositional calculus with full comprehension
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4141213
@@ Property / cites work: Q4141213 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0168-0072(96)00034-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2000391050
@@ Property / OpenAlex ID: W2000391050 / rank @@
+Normal rank