References
J. Łukasiewicz:Elementy logiki matematycznej. Wyd. 2. Warszawa 1958. (Engl. Transl.:Elements of Mathematical Logic, Oxford 1963).
W. Sadowski:Pewien dowód zupelności dwuwartościowego rachunku zdań (A Proof of Completeness of the Two-Valued Sentential Calculus), Studia Logica XI, 1961, pp. 49–55.
M. Wajsberg:Aksjomatyzacja trójwartościowego rachunku zdań (An Axiomatization of the Three-Valued Sentential Calculus). Compte rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, Année XXIV, 1931.
Author information
Authors and Affiliations
Additional information
Allatum est die 13 Martii 1965
Rights and permissions
About this article
Cite this article
Prucnal, T. A proof of completeness of the three-valuedC-N sentential calculus of Łukasiewicz. Stud Logica 18, 65–70 (1966). https://doi.org/10.1007/BF02123236
Issue Date:
DOI: https://doi.org/10.1007/BF02123236