Skip to main content
SpringerLink
Log in

On verification of the expressions of many-valued sentential calculi. I

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. N. Bourbaki:Eléments de mathématique. Algèbre. Paris 1959.

  2. N. Bourbaki:Eléments de mathématique. Théorie des ensembles. Paris 1960.

  3. S. C. Kleene:Introduction to Metamathematics. New York 1952.

  4. С. В. Яблонский:ФункуuоналБные nосмроенuя б к-значноũ лоzике. Труды Математического Института Академии Наук СССР т. LI, 1958.

  5. J. Łoś:O matrycach logicznych. Wrocław 1949.

  6. Mahlo: Sitzungsberichte der Preussischen Akademie.

  7. K. Menger:Wath are x and y? The Mathematical Gazette. Vol. XL, No. 334 (1956).

  8. G. C. Moisil:Sur les anneaux de caractéristique 2 ou 3 et leurs applications. Extrait du Bulletin de l'Ecole Polytechnique de Bucarest. Vol. XII, no 1 et 2, 1941.

  9. G. C. Moisil:Algebra schemalor cu elemente ventil. Revista Universitatii a Politechnici Bucuresti. No 4, 1954.

  10. A. Salomaa:On the composition of functions of several variables ranging over a finite set. Turku 1960.

  11. W. Sierpiński:Sur un problème de la logique à n valeurs. Fundamenta Mathematicae XLIX 1960/61.

  12. J. Sŀupecki:O tak zwanych algebrach peŀnych. Sprawozdania ze Zjazdu Matematyków Słowiańskich w Pradze 1948.

  13. A. B. Turowicz:Sur une méthode algébrique de vérification des théorèmes de la logique des énoncés. Studia Logica IX, 1960.

  14. J. J. Żegaŀkin:Sur le calcul des propositions en logique symbolique. Matiematiczeskij Sbornik 34, 1927.

  15. J. J. Żegaŀkin:Arthmétisation de la logique symbolique. Matiematiczeskij Sbornik 35, 1928.

  16. B. Żyliński:Some remarks concerning the theory of deduction. Fundamenta Mathematicae VII, 1925.

Download references

Author information

Authors and Affiliations

  1. Uniwersytet Wrocŀawski, Wrocŀaw

    Edward Baŀuka

Authors
  1. Edward Baŀuka
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 15 Julii 1964

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baŀuka, E. On verification of the expressions of many-valued sentential calculi. I. Stud Logica 17, 53–71 (1965). https://doi.org/10.1007/BF02120513

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02120513

Keywords

Search

Navigation