References
R. Feys,Modal Logics. Louvain 1965.
K. Gödel,Eine Interpretation des Intuitionistischen Aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums, Leipzig 1935, Heft 4.
C. I. Lewis, C. H. Langford,Symbolic Logic. New York 1959.
C. A. Meredith, A. N. Prior,Investigations into Implicational S5. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Bd. 10, Heft 3, 1964.
W. A. Pogorzelski,Przegląd twierdzeń o dedukcji dla rachunków zdań. Studia Logica, t. XV.
W. A. Pogorzelski,Schemat twierdzeń o dedukcji dla rachunku zdań. Studia Logica, t. XV.
A. N. Prior,Formal Logic. Oxford 1962.
H. Rasiowa, R. Sikorski,The Mathematics of Metamathematics. Warszawa 1963.
G. H. von Wright,An Essay in Modal Logic. Amsterdam 1951.
E. Żarnecka-Biaŀy,O równoważności systemów logicznych. Zeszyty Naukowe UJ, Prace z logiki, zeszyt 2, 1966.
Author information
Authors and Affiliations
Additional information
My great indebtedness is due to Doc. Dr. W. A. Pogorzelski, whose remarks and advices helped me in preparing this paper.
Allatum est die 24Augusti 1967
Rights and permissions
About this article
Cite this article
Żarnecka-Biaŀy, E. A note on deduction theorem for Gödel's propositional calculus G4. Stud Logica 23, 35–40 (1968). https://doi.org/10.1007/BF02124617
Issue Date:
DOI: https://doi.org/10.1007/BF02124617