Delimited control operators prove double-negation shift (Q450950): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B55
@@ Property / Mathematics Subject Classification ID: 03B55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 03B20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F50
@@ Property / Mathematics Subject Classification ID: 03F50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6086894
@@ Property / zbMATH DE Number: 6086894 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+extension of minimal intuitionistic predicate logic
+Normal rank
@@ Property / zbMATH Keywords @@
+delimited control operators
@@ Property / zbMATH Keywords: delimited control operators / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+double-negation shift
@@ Property / zbMATH Keywords: double-negation shift / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+disjunction property
@@ Property / zbMATH Keywords: disjunction property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+existence property
@@ Property / zbMATH Keywords: existence property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intermediate logic
@@ Property / zbMATH Keywords: intermediate logic / rank @@
+Normal rank

Revision as of 10:21, 30 June 2023