Studia Logica

, Volume 2, Issue 1, pp 151–211 | Cite as

The algebraic treatment of the methodology of elementary deductive systems

  • Jerzy Łoś
Article

Keywords

Mathematical Logic Computational Linguistic Deductive System Algebraic Treatment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    —Bemerkung der Redaktion, given at the end of Skolem's work [18],Üder die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen, “Fundamenta Mathematicae”, 161, FM. 33 (1934).Google Scholar
  2. [2]
    Bernays P., Hilbert D.,Grundlagen der Mathematik, Berlin 1934–39.Google Scholar
  3. [3]
    Gödel K.,Die Vollständigkeit der Axiome des logischen Funktionenkalküls, “Monatshefte für Math. und Physik”, 37 (1930), pp. 349–360.Google Scholar
  4. [4]
    Henkin L.,The completeness of the first-order functional calculus “Journal of Symbolic Logic”, 14 (1949), pp. 159–166.Google Scholar
  5. [5]
    Herbrand J,Recherches sur la théorie de la démonstration, Prace Warszawskiego Towarzystwa Naukowego III, No.33, Warszawa 1930.Google Scholar
  6. [6]
    Kuratowski K., Mostowski A.,The theory of sets, Warszawa-Wrocław 1952.Google Scholar
  7. [7]
    Lövenheim L.,Über Möglichkeiten im Relativkalkül, “Mathematische Annalen”, 76 (1915), pp. 447–470.Google Scholar
  8. [8]
    Łoś J.,O matrycach logicznych, Prace Wrocławskiego Towarzystwa Naukowego, Seria B No. 19, Wrocław 1949.Google Scholar
  9. [9]
    Łoś J.,An algebraic proof of completeness for the two-valued propositional calculus, “Colloquium Mathematicum”, 2 (1951), pp. 236–240.Google Scholar
  10. [10]
    Łoś J.,On the categoricity in power of deductive theories and some related problems, “Colloquium Mathematicum” 3.(1954), pp. 58–62.Google Scholar
  11. [11]
    Łoś J., Ryll-Nardzewski C.,On the application of Tychonoff's theorem in mathematical proofs, “Fundamenta Mathematicae”, 38 (1951), pp. 233–237.Google Scholar
  12. [12]
    Łoś J., Ryll-Nardzewski,Effectiveness of the theory of representations of Boolean algebras, to be published in “Fundamenta Mathematicae”, 41.Google Scholar
  13. [13]
    Mostowski A.,Über die Unabhängigkeit des Auswahlaxioms vom Ordnungsprinzip, “Fundamenta Mathematicae” 32 (1939), pp. 201–252.Google Scholar
  14. [14]
    Mostowski A., Logika Matematyczna, Warszawa-Kraków 1948.Google Scholar
  15. [15]
    Rasiowa H., Sikorski R.,A proof of the completeness theorem of Gödel, “Fundamenta Mathematicae”, 37 (1950) pp. 193–200.Google Scholar
  16. [16]
    Reichbach J.,On the completeness of the functional calculus of first order, “Studia Logica” II, pp. 245–250.Google Scholar
  17. [17]
    Sierpiński W.,Arytmetyka teoretyczna (in print).Google Scholar
  18. [18]
    Skolem T.,Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslichen Zahlenvariablen, “Fundamenta Mathematicae”, 33 (1934), pp. 150–161.Google Scholar
  19. [19]
    Stone H. M.,The theory of representations for Boolean algebras “Trans. of Am. Math. Soc.”, 40 (1936), pp. 37–111.Google Scholar
  20. [20]
    Tarski A.,Über einige fundamentale Begriffe der Mathematik, Prace Warszawskiego Towarzystwa Naukowego, III, Volume 23 (1930), pp. 22–29.Google Scholar
  21. [21]
    Tarski A.,Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I, “Monatshefte f. Math. u. Phys.”, 37 (1930), pp. 361–404.Google Scholar
  22. [22]
    Tarski A.,Une contribution à la théorie de la mesure, “Fundamenta Mathematicae”, 15 (1930), pp. 42–50.Google Scholar
  23. [23]
    Tarski A.,Grundzüge des Systemenkalküls, Erster Teil, “Fundamenta Mathematicae”, 25 (1935), pp. 501–526.Google Scholar
  24. [24]
    Tarski A.,Pojęcie prawdy w językach nauk dedukcyjnych, Prace Warszawskiego Towarzystwa Naukowego, III, No. 34, Warszawa 1933.Google Scholar
  25. [25]
    Ulam K.,Concerning functions of sets, “Fundamenta Mathematicae”, 14 (1929), pp. 231–233.Google Scholar
  26. [26]
    Veblen O.,A system of axioms for geometry, “Trans. of Amer. Math. Soc.”, 5 (1904), pp. 343–384.Google Scholar

Copyright information

© Polska Academia Nauk 1955

Authors and Affiliations

  • Jerzy Łoś

There are no affiliations available

Personalised recommendations