This is a preview of subscription content, log in via an institution to check access.
Literatur
Über den Begriff der logischen Matrix vgl. Lukasiewicz und Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus de la Soc. d. Sciences et d. Lettres de Varsovie,23, 1930. Diese Arbeit wird im folgenden alsL−T zitiert.
Ein verwandtes Ergebnis ist früher von K. Gödel erhalten worden, war mir aber zur Zeit der Einsendung dieser Arbeit in die Redaktion der vorliegenden Zeitschrift unbekannt. — Vgl. Ergebnisse eines math. Kolloquiums, Wien, Heft 4, S. 9–10.
Diese Methode geht auf P. Bernays und J. Lukasiewicz zurück. Vgl. hierzu Fußnote5) vonL−T.
Ein mehr vollständiger Beweis dieses Satzes findet sich in meiner polnischen Dissertationschrift “Aksjomatyzacja trójwartosciowego rachunku zdań” (d. h. Axiomatisierung des dreiwertigen Aussagenkalküls), vgl. Kap. 2,T 5: Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie XXIV, 1931, Classe III.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wajsberg, M. Beiträge zum Metaaussagenkalkül I. Monatsh. f. Mathematik und Physik 42, 221–242 (1935). https://doi.org/10.1007/BF01733295
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01733295