Bibliography
HeytingIntuitionismus and Beweistheorie, Julius Sprünger.
S. Pankajam “On the Formal Structure of the Propositional Calculus, I and II.”Jour. Ind. Math. Society, (2), 1941, and (2) 1942.
K. Chandrasckharan “The Logic of Intuitionist Mathematics,”Math. Student, Vol9.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vaidyanathaswamy, R. On disjunction in intuitionist logic. Proc. Indian Acad. Sci. (Math. Sci.) 17, 41–45 (1943). https://doi.org/10.1007/BF03053038
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03053038