Skip to main content
SpringerLink
Log in

A propositional calculus in which three mutually undefinable functors are used as primitive terms

1. Mutual definability of functors

  • 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

Bibliography

  1. D. Hilbert andW. Ackermann:Grundzüge der theoretischen Logik, Berlin 1949.

  2. D. Hilbert andW. Ackermann:Principles of Mathematical Logic, New York 1950.

  3. J. G. Kemeny:Models of Logical Systems, The Journal of Symbolic Logic, 13 (1948) Baltimore, Maryland.

  4. S. Leśniewski:Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, 14 (1929) Kraków.

  5. S. Leśniewski:Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u.d.T. „Grundzüge...” Collectanea Logica, 1 (1939) Warszawa.

  6. J. Łukasiewicz:Elementy logiki matematycznej (Elements of Mathematical Logic), Warszawa 1929.

  7. J. Łukasiewicz:Ein Vollständigkeitsbeweis des zweiwertigen Aussagenkalküls, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 24 (1931) Warszawa.

  8. J. Łukasiewicz:The Shortest Axiom of the Implicational Calculus of Propositions, Proceedings of the Royal Irish Academy, Section A, No 3, 52 (1948) Dublin.

    Google Scholar 

  9. J. Łukasiewicz:Aristotle's Syllogistic from the Standpoint of Modern Logic, Oxford 1951.

  10. J. Łukasiewicz andA. Tarski:Untersuchungen über den Aussagenkalkül, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23 (1930) Warszawa.

  11. E. G. Mihailescu:Recherches sur un sous-système du calcul des propositions, Annales Scientifiques de l'Universite de Jassy, 23 (1937).

  12. E. G. Mihailescu:Recherches sur la négation et l'équivalence dans le calcul des propositions, Annales Scientifiques de l'Universite de Jassy, 23 (1937).

  13. E. G. Mihailescu:Recherches sur l'équivalence et la reprocité dans le calcul des propositions, Annales Scientifiques de l'Université de Jassy, 24 (1938).

  14. B. G. Mihailescu:Cercetari asupra subsistemolor calculului propozitiilor (Researches on Subsystems of the Propositional Calculus), Studii si cercetari matematice, Academia Republicii Populare Romane, Institut de Matematica, 2 (1951).

  15. H. Rasiowa:Axiomatisation d'un système partiel de la théorie de la déduction, Comptes rendus des séances de la Société des Sciences et de Lettres de Varsovie, Classe III, 40 (1948), Warszawa.

  16. B. Sobocinski:Z. badań nad teorią dedukcji (Investigations Concerning the Theory of Deduction)}, Przegląd Filozoficzny, 35 (1932), Warszawa.

  17. B. Sobocinski:On a Universal Decision Element, The Journal of Computing Systems, 1 (1952). St. Paul, Minnesota.

  18. A. Tarski:Über einige fundamentalen Begriffe der Metamathematik, Comptes rendus des séances de la Societé des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), Warszawa.

  19. M. Wajsberg:Metalogische Beiträge, Wiadomości Matematyczne, 43 (1937).

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, The University of Manchester, Manchester, UK

    Czesław Lejewski

Authors
  1. Czesław Lejewski
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This is a condensed version of a part of my doctoral dissertation presented to the Faculty of Arts, University of London, in 1955 with professor SirKarl Popper and the late ProfessorJ. Łukasiewicz acting as internal and external examiners respectively.

I wish to take this opportunity to express my gratitude to Sir Karl for the encouragement and advice he offered me so generously while supervising my studies at the L. S. E.

I am also grateful to Arthur Prior for helping me with editing the present version, and most of all for his relentless urging that I should get it published.

Allatum est die 6 Martii 1967

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lejewski, C. A propositional calculus in which three mutually undefinable functors are used as primitive terms. Stud Logica 22, 17–46 (1968). https://doi.org/10.1007/BF02125284

Download citation

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation