References
Curry, H. B.: On the use of dots as brackets in logical expressions. J. Symbolic Logic2, 26–28 (1937).
Gentzen, G.: Untersuchungen über das logische Schließen. Math. Z.39, 176–210, 405–431 (1934–1935).
Gödel, K.: Zum Intuitionistischen Aussagenkalkül. Erg. math. Kolloq.4, 40 (1933).
Harrop, R.: An investigation of the propositional calculus used in a particular system of logic. Proc. Cambridge Phil. Soc.50, 495–512 (1954).
Kemeny, J. G.: Models of logical systems. J. Symbolic Logic13, 16–30 (1948).
Kleene, S. C.: Introduction to Metamathematics: Amsterdam (1952).
McKinsey, J. C. C., andA. Tarski: Some theorems about the sentential calculi of Lewis and Heyting: J. Symbolic Logic13, 1–15 (1948).
Rasiowa, H.: Algebraic models of axiomatic theories. Fund. Math.41, 291–310 (1955).
Rasiowa, H., andR. Sikorski: On existential theorems in non-classical functional calculi. Fund. Math.41, 21–28 (1954).
Rieger, L.: On the lattice theory of Brouwerian propositional logic. Spisy. vyd. prirod. fak. Univ. Karlovy189, 1–40 (1949).
Schütte, K.: Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann.122, 47–65 (1950).
Wajsberg, M.: Untersuchungen Über den Aussagenkalkül von A. Heyting. Wiad. mat.46, 45–101 (1938).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Harrop, R. On disjunctions and existential statements in intuitionistic systems of logic. Math. Ann. 132, 347–361 (1956). https://doi.org/10.1007/BF01360048
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01360048