Closed Fragments of Provability Logics of Constructive Theories (Q3617381): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1230396766
+Normal rank
@@ Property / OpenAlex ID @@
+W2160442456
@@ Property / OpenAlex ID: W2160442456 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Logics of Constructive Arithmetical Theories
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability: The emergence of a mathematical modality
+Normal rank