×

Some characterizations of the first-order functional calculus. (English) Zbl 0119.25102

PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Gödel, K.: Zum Entscheidungsproblem des logischen Funktionenkalküls. Monatsh. Math. Physik40, (1933). · JFM 59.0865.01
[2] Hilbert, D., u.P. Bernays: Grundlagen der Mathematik. Bd. II. Berlin: Springer 1933.
[3] Kalmar, L.: Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten. Math. Ann.108, (1933). · Zbl 0006.38502
[4] Mostowski, A.: On definable sets of positive integers. Fundamenta Math.34, (1947). · Zbl 0031.19401
[5] Reichbach, J.: O pe?nosci w??szego rachunku funkcyjnego, Studia Logica II (1955).
[6] – On the first-order functional calculus and the truncation of models. Studia Logica VII (1958). · Zbl 0149.24406
[7] – On characterizations of the first-order functional calculus. Notre Dame J. Formal Logic II,1 (1961). · Zbl 0242.02010
[8] – On the definition of the satisfiability, sent to Math. Z.
[9] – Some methods of formal proofs I, sent to Archiv für Math. log. und Grundl. der Math.
[10] – 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).
[11] – On the connection of the first-order functional calculus with ?0 propositional calculus. Notre Dame J. Formal Logic, in print.
[12] Reichbach, J.: On theses of the first-order functional calculus. Z. Mathematische Logik und Grundlagen der Mathematik, VII, 4 (1961). · Zbl 0243.02009
[13] – On characterizations and undecidability of the first-order functional calculus, sent to Trans. Amer Math. Soc.
[14] ?? 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). · Zbl 0112.00601
[15] – About connection of the first-order functional calculus with many valued propositional calculi. Z. Mathematische Logik und Grundlagen der Mathematik (1963), in print. · Zbl 0163.24302
[16] – A note about connection of the first-order functional calculus with many valued propositional calculi. Notre Dame J. Formal Logic, in print. · Zbl 0163.00408
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.