Skip to main content
SpringerLink
Log in

Comments on Predicative Logic

  • Published:
Journal of Philosophical Logic 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. J-Y. Girard, Y. Lafont and P. Taylor. (1989): Proofs and Types, Cambridge Tracts in Computer Science, Cambridge: Cambridge University Press.

    Google Scholar 

  2. W. Goldfarb. (1989): Russell's reasons for ramification. in C. Savage and C. Anderson (eds.), Rereading Russell, University of Minnesota Press, Minneapolis, pp. 25–39.

    Google Scholar 

  3. D. Prawitz. (1965): Natural Deduction, Almkvist & Wiksell, Stockholm.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemática, Faculdade de Ciências, Universidade de Lisboa, Lisboa, Portugal

    Fernando Ferreira

Authors
  1. Fernando Ferreira
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fernando Ferreira.

Additional information

*This work was done while visiting the Department of Philosophy of Harvard University in the Spring term of 2004.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ferreira, F. Comments on Predicative Logic. J Philos Logic 35, 1–8 (2006). https://doi.org/10.1007/s10992-005-9001-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-005-9001-z

Keywords

Search

Navigation