Decidable variables for constructive logics (Q6047667): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.202000022
+Normal rank
@@ Property / OpenAlex ID @@
+W3121728303
@@ Property / OpenAlex ID: W3121728303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of Glivenko theorems for intermediate predicate logics
+Normal rank
@@ Property / cites work @@
+Classical propositional logic and decidability of variables in intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+A note on decidability of variables in intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Syntactic translations and provably recursive functions
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on JP'
@@ Property / cites work: A note on JP' / rank @@
+Normal rank