THE -PROVABILITY LOGIC OF (Q5195060): Difference between revisions

@@ Property / cites work @@
+Reduction of provability logics to Σ<sub>1</sub>-provability logics
+Normal rank
@@ Property / cites work @@
+The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
+Normal rank
@@ Property / cites work @@
+The disjunction property implies the numerical existence property
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q3909044
@@ Property / cites work: Q3909044 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Indicator-Functions
@@ Property / cites work: A Note on Indicator-Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Provability logic and the completeness principle
@@ Property / cites work: Provability logic and the completeness principle / rank @@
+Normal rank