Bibliography
Gödel, K.: Zum Entscheidungsproblem des logischen Funktionenkalküls. Monatsh. Math. Physik40, (1933).
Hilbert, D., u.P. Bernays: Grundlagen der Mathematik. Bd. II. Berlin: Springer 1933.
Kalmar, L.: Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten. Math. Ann.108, (1933).
Mostowski, A.: On definable sets of positive integers. Fundamenta Math.34, (1947).
Reichbach, J.: O pełnosci węższego rachunku funkcyjnego, Studia Logica II (1955).
-- On the first-order functional calculus and the truncation of models. Studia Logica VII (1958).
-- On characterizations of the first-order functional calculus. Notre Dame J. Formal Logic II,1 (1961).
-- On the definition of the satisfiability, sent to Math. Z.
-- Some methods of formal proofs I, sent to Archiv für Math. log. und Grundl. der Math.
-- On the connection of the first-order functional calculus with many valued propositional calculi. Proceedings of the Fourth Congress of Scientific Societies. The Bulletin of the Research Council of Israel, section F (1961), Reasume. Notre Dame J. Formal Logic III, 2, (1962).
-- On the connection of the first-order functional calculus with χ0 propositional calculus. Notre Dame J. Formal Logic, in print.
Reichbach, J.: On theses of the first-order functional calculus. Z. Mathematische Logik und Grundlagen der Mathematik, VII, 4 (1961).
-- On characterizations and undecidability of the first-order functional calculus, sent to Trans. Amer Math. Soc.
—— On generalization of the satisfiability definition and proof rules with remarks to my paper: On theses of the first-order functional calculus. Z. Mathematische Logik und Grundlagen der Mathematik VIII, 4 (1962).
-- About connection of the first-order functional calculus with many valued propositional calculi. Z. Mathematische Logik und Grundlagen der Mathematik (1963), in print.
-- A note about connection of the first-order functional calculus with many valued propositional calculi. Notre Dame J. Formal Logic, in print.
Author information
Authors and Affiliations
Additional information
I have written this paper in connection with reports which I delivered at ProfessorJerzy Slupecki's seminar in 1954–57.
Rights and permissions
About this article
Cite this article
Reichbach, J. Some characterizations of theses of the first-order functional calculus. Math. Ann. 152, 195–207 (1963). https://doi.org/10.1007/BF01470880
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01470880