A(nother) characterization of intuitionistic propositional logic (Q5957911): Difference between revisions

@@ Property / cites work @@
+Q5631083
@@ Property / cites work: Q5631083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936721
@@ Property / cites work: Q3936721 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+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 @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank