On the independence of premiss axiom and rule (Q2204366): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-019-00707-5
@@ Property / DOI: 10.1007/s00153-019-00707-5 / rank @@
-Normal rank
@@ Property / cites work @@
+A note on the independence of premiss rule
@@ Property / cites work: A note on the independence of premiss rule / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Finite sets and infinite sets in weak intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / DOI @@
+.1007/S00153-019-00707-5
@@ Property / DOI: 10.1007/S00153-019-00707-5 / rank @@
+Normal rank