This is a preview of subscription content, log in via an institution to check access.
Bibliografia
A. Church:Introduction to Mathematical Logic, Part I, „Annals of mathematics studies”, No 13, Princeton, 1944.
K. Gödel:Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums, IV (1933).
E. I. Lemmon, C. A. Meredith, D. Meredith, A. N. Prior, I. Thomas:Calculi of pure strict implication, Philosophy Department, Canterbury University College, Christchurch, New Zealand, 1957.
S. Leśniewski:Grundzüge eines neuen Systems der Grundlagen der Mathematik, „Fundamenta Mathematicae”, 14 (1929).
J. Łukasiewicz:Die Logik und das Grundlagenproblem, Entretiens de Zürich sur les fondements et la méthode des sciences mathématiques, 8–9 Decembre 1938, Zürich.
J. Słupecki:Der volle dreiwertige Aussagenkalkül, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, XXIX, 1936 cl. III.
J. Słupecki:Über die Regeln des Aussagenkalküls, „Studia Logica”, tom I, 1953.
A. Tarski:Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, „Monatshefte für Mathematik und Physik”, XXXVII Band, Leipzig, 1930.
A. Tarski:Über einige fundamentale Begriffe der Metamathematik, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, vol. 23, 1930, cl. III.
Additional information
Część wyników zawartych w tej pracy referowana była na posiedzeniu Zakładu Logiki P. A. N. w dniu 28. 11. 1958 r.
Rights and permissions
About this article
Cite this article
Pogorzelski, W.A., Słupecki, J. Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. i. Stud Logica 9, 163–176 (1960). https://doi.org/10.1007/BF02548472
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02548472