On a second order propositional operator in intuitionistic logic (Q1158419): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On some new intuitionistic propositional connectives. I
+Normal rank
@@ Property / cites work @@
+Q3858263
@@ Property / cites work: Q3858263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614644
@@ Property / cites work: Q5614644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936721
@@ Property / cites work: Q3936721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914981
@@ Property / cites work: Q3914981 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Connectivity of an Interval
@@ Property / cites work: Connectivity of an Interval / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Elementary intuitionistic theories
@@ Property / cites work: Elementary intuitionistic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+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 @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880812
@@ Property / cites work: Q3880812 / rank @@
+Normal rank