Literatur
G. Gentzen: Untersuchungen über das logische Schließen. Math. Zeitschrift39, 176–210, 405–431 (1934).
W. V. Quine: On natural deduction. J. symbolic Logic15; 93–102 (1950).
H. Scholz: Vorlesungen über Grundzüge der mathematischen Logik, Teil I.2 1950 (=Ausarbeitungen mathematischer und physikalischer Vorlesungen, hrsg. v. H. Behnke), Aschendorff, Münster i. W.
A. Tarski: Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica I, 261–405 (1935).
Author information
Authors and Affiliations
Additional information
Heinrich Scholz gewidmet zu seinem siebzigsten Geburtstag
Rights and permissions
About this article
Cite this article
Gumin, H., Hermes, H. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Arch math Logik 2, 68–77 (1956). https://doi.org/10.1007/BF01969992
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01969992