Skip to main content
Log in

On implicational definitions

  • 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

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. P. Bernays:Axiomatische Untersuchungen des Aussagenkalküls der “Principia Mathematica”, Mathematische Zeitschrift, 25 (1926), Berlin.

  2. G. Frege:Begriffschrift, Halle a/S 1879.

  3. S. Leśniewski:Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae, 14 (1929), Warszawa.

  4. S. Leśniewski:Über Definitionen in der sogenannten Theorie der Deduktion, Comptes rendus des séances de la Societé des Sciences et des Lettres de Varsovie, Classe III,24 (1931) Warszawa.

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

  6. J. Łukasiewicz:Démonstration de la compatibilité des axiomes de la théorie de la déduction, Annales de la Societé Polonaise de Mathématique, 3 (1925), Kraków.

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

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

  9. J. Łukasiewicz:Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej” (Remarks on on Nicod's Axiom and on “Generalizing Deduction”), Księga Pamiątkowa Polskiego Towarzystwa Filozoficznego we Lwowie, Lwów 1931.

  10. J. Łukasiewicz:Z historii logiki zdań (From the History of the Logic of Propositions), Przegląd Filozoficzny, 37 (1934), Warszawa.

  11. J. Łukasiewicz:Zur Geschichte der Aussagenlogik, Erkenntnis, 5 (1935), Leipzig.

  12. 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 

  13. J. Łukasiewicz:On Variable Functors of Propositional Arguments, Proceedings of The Royal Irish Academy, Section A, No 2, 54 (1951), Dublin.

    Google Scholar 

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

  15. C. A. Meredith:Single Axioms for the systems (C, N), (C, O), and (A, N) of the Two-valued Propositional Calculus, The Journal of Computing Systems, 1 (1953) St. Paul, Minnesota.

  16. J. G. P. Nicod:A Reduction in the Number of the Primitive Propositions of Logic, Proceedings of the Cambridge Philosophical Society 19 (1920), Cambridge.

  17. W. V. Quine:Mathematical Logic, Cambridge Mass., 1947.

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

  19. B. Sobociński:Aksjomatyzacja implikacyjno-koniunkcyjnej teorii dedukcji (Axiomatization of an Implicative-conjunctive Theory of Deduction), Przegląd Filozoficzny, 38 (1935), Warszawa.

  20. M. Wajsberg:Über Axiomensysteme des Aussagenkalküls, Monatshefte für Mathematik und Physik, 39 (1932), Leipzig.

  21. M. Wajsberg:Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer, Monatshefte für Mathematik und Physik, 39 (1932), Leipzig.

  22. A. N. Whitehead andB. Russell:Principia Mathematica, Vol. 1, Cambridge 1935.

Download references

Authors

Additional information

This is a part of a doctoral dissertation presented to the Faculty of Arts, University of London, in 1955 with ProfessorsK. R. Popper andJ. Łukasiewicz acting as internal and external examiners respectively.

I should like to take this opportunity to express my gratitude to Professor Popper for the encouragement and advice he offered me so generously while supervising my studies.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lejewski, C. On implicational definitions. Stud Logica 8, 189–205 (1958). https://doi.org/10.1007/BF02126748

Download citation

  • Issue Date:

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

Keywords

Navigation