Skip to main content
Log in

The Leśniewski-Curry theory of syntactical categories and the categorially open 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

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. K. Ajdukiewicz,Die syntaktische Konnexität,Studia Philosophica 1, 1935.

  2. H. B. Curry,Some logical aspects of grammatical structure, in R. Jakobson,Structure of language and its mathematical aspects, Proc. 12th Sympos. in Appl. Math., Providence, R. I.: American Mathematical Society, 1961.

  3. H. B. Curry,Foundations of mathematical logic, Mc Graw-Hill Book Company, Inc., 1963.

  4. J. H. Hindley, B. Lercher andJ. P. Seldin,Introduction to combinatory logic, Cambridge University Press, 1972.

  5. S. Leśniewski,Grundzüge eines neuen Systems der Grundlagen der Mathematik § 1–11,Fundamenta Mathematicae XIV (1929).

  6. S. Leśniewski,Über die Grundlagen der Ontologie,Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, XXIII (1930).

  7. S. Leśniewski,Grundzüge eines neuen Systems der Grundlagen der Mathematik, § m2,Collectanea Logica 1 (1938).

  8. E. C. Luschei,The logical systems of Leśniewski, 1962, North-Holland Publishing Company, Amsterdam.

    Google Scholar 

  9. P. Martin-Löf,A theory of types, unpublished.

  10. A. N. Prior,Object of thought, edited by P. T. Geach and A. J. P. Kenny, Oxford, Clarendon Press, 1971.

    Google Scholar 

  11. A. Tarski,Der Wahrheitsbegriff in den formalisierten Sprachen,Studia Philosophica 1, 1936.

Download references

Author information

Authors and Affiliations

Authors

Additional information

Allatum est die 25 Augusti 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vanderveken, D.R. The Leśniewski-Curry theory of syntactical categories and the categorially open functors. Stud Logica 35, 191–201 (1976). https://doi.org/10.1007/BF02120881

Download citation

  • Issue Date:

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

Keywords

Navigation