Skip to main content
SpringerLink
Log in

A propositional fragment of Leśniewski's ontology

  • 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. H. B. Curry,Foundations of Mathematical Logic, New York. 1963.

  2. S. Kanger,A Simplified Proof Method for Elementary Logic,Computer Programming and Formal Systems, Amsterdam, 1967.

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

  4. C. Lejewski,Zu Leśniewskis Ontologie,Ratio, Vol. I, 1958.

  5. A. N. Prior,Existence in Leśniewski and Russell,Formal Systems and Recursive Functions, Amsterdam, 1963.

  6. P. Sagal,On how best to make sense of Leśniewski's ontology,Notre Dame Journal of Formal Logic, Vol. XIV, 1973.

  7. J. Sŀupecki.S. Leśniewski's Calculus of Names,Studia Logica, Vol. III, 1953.

Download references

Author information

Authors and Affiliations

  1. Tokyo Institute of Technology, Pologo, Japan

    Arata Ishimoto

Authors
  1. Arata Ishimoto
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 1 Junii 1976

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ishimoto, A. A propositional fragment of Leśniewski's ontology. Stud Logica 36, 285–299 (1977). https://doi.org/10.1007/BF02120666

Download citation

  • Issue Date:

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

Keywords

Search

Navigation