Skip to main content

Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych

This is a preview of subscription content, access via your institution.

Bibliografia

  1. [1]

    K. Ajdukiewicz:Klasyfikacja rozumowań. Studia Logica 2 (1955), s. 278–300.

    Google Scholar 

  2. [2]

    E. W. Beth:The Foundations of Mathematics. Amsterdam 1959.

  3. [3]

    P. Cohen:The Independence of the Continuum Hypothesis. Proc. Nat. Ac. S. USA 50 (1964), p. 1143–1148.

    Google Scholar 

  4. [4]

    K. Gödel:Über eine bisher noch nicht benützete Erweiterung des finiten Standpunkten. Dialectica 12 (1958), pp. 280–287.

    Google Scholar 

  5. [5]

    A. Grzegorczyk:A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. Indag. Math. 26 (1964), pp. 596–601.

    Google Scholar 

  6. [6]

    A. Grzegorczyk:Relational Systems and Related Topological Spaces. Fund. Math. (w druku).

  7. [7]

    S. Jaśkowski:Recherches sur le systeme de la logique intuitioniste. Actes du Congrès Internat. de Philosophie Sci. Paris 1936, part VI. 58–61.

    Google Scholar 

  8. [8]

    A. Kołmogorow:Zur Deutung der intuitionistischen Logik. Math. Zeitschrift 35 (1932), pp. 58–65.

    Google Scholar 

  9. [9]

    S. C. Kleene, R. E. Vesley:Foundations of Intuitionistic Mathematics. Amsterdam 1965.

  10. [10]

    J. C. C. McKinsey, A. Tarski:Some Theorems About the Sentential Calculi of Lewis and Heyting. Jour. Symb. Log. 13 (1948), pp. 1–15.

    Google Scholar 

  11. [11]

    S. A. Kripke:Semantical Analysis of Intuitionistic logic. I. W książce:Formal Systems and Recursive Functions. Amsterdam 1965.

  12. [12]

    J. łukasiewicz:O nauce. Poradnik dla samouków, Lwów 1936.

    Google Scholar 

  13. [13]

    H. Rasiowa, R. Sikorski:The Mathematics of Metamathematics. Warszawa 1963.

  14. [14]

    A. Tarski:Der Aussagenkalkül und die Topologie. Fund. Math. 31 (1938), pp. 103–138.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Additional information

Allatum est die 21 Martii 1966

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Grzegorczyk, A. Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych. Stud Logica 20, 117–130 (1967). https://doi.org/10.1007/BF02340034

Download citation