Skip to main content
SpringerLink
Log in

L i D Z λ as a basis for PRA

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

This paper is a sequel to my [7]. It focuses on the notion of natural number as introduced in section 11 of that paper with regard to forms of induction and recursive definitions. One point is that this notion of natural number is somewhat weaker than the classical one in so far as it is defined in terms of a weak implication. The other point is the lack of even a weak form of extensionality. As a main result of the present paper it will turn out that the means provided in [7] are sufficient to account for an interpretation of primitive recursive arithmetic.

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

Similar content being viewed by others

References

  1. Boolos, G., Jeffrey, R.: Computability and Logic. Cambridge University Press: Cambridge 1974

  2. Epstein, R.L., Carnielli, W.A.: Computability: computable functions, logic, and the foundations of mathematics. Wadsworth 2000 (second edition).

  3. Girard, J.-Y.: Linear Logic: Its Syntax and Semantics. Advances in Linear Logic (J.-Y. Girard, Y. Lafont, L. Reignier, eds.). Cambridge University Press (London Mathematical Society Lecture Note Series 222): Cambridge 1995, pp. 1–42

  4. Girard, J.-Y.: Light Linear Logic. Logic and computational complexity (Leivant, ed.) LNCS 960. Springer Verlag 1995, pp. 145–176

  5. Hilbert, D., Bernays, P.: Grundlagen der Mathematik, Vol.I. Springer Verlag: Berlin und Göttingen, 1968

  6. Petersen, U.: Die logische Grundlegung der Dialektik. Wilhelm Fink Verlag: München, 1980

  7. Petersen, U.: Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction. Studia Logica 64, 365–403 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. White, R.B.: A Consistent Theory of Attributes in a Logic Without Contraction. Studia Logica 52, 113–142 (1993)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stuhlmannstr, 4, 22767, Hamburg, Germany

    Uwe Petersen

Authors
  1. Uwe Petersen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Uwe Petersen.

Additional information

Mathematics Subject Classification (2000):

Rights and permissions

Reprints and permissions

About this article

Cite this article

Petersen, U. L i D Z λ as a basis for PRA. Arch. Math. Logic 42, 665–694 (2003). https://doi.org/10.1007/s00153-003-0175-1

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-003-0175-1

Keywords

Search

Navigation