Skip to main content
Springer Nature Link
Log in

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

  • 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • Dummett, M., 1975: ‘The Philosophical Basis of Intuitionistic Logic’, in: H.E. Rose and J.E. Shepherdson (eds.),Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, Amsterdam, pp. 5–40.

  • Dummett, M., (with the assistance of R. Minio), 1977:Elements of Intuitionism, Oxford.

  • Gentzen, G., 1935: ‘Untersuchungen über das logische Schliessen’,Mathematische Zeitschrift 39, 176–210, 405–431, English translation in:The Collected Papers of Gerhard Gentzen, ed. M.E. Szabo, Amsterdam, 1969, pp. 68–131.

    Google Scholar 

  • Lorenzen, P., 1955:Einführung in die operative Logik und Mathematik, Berlin (2nd edn. 1969).

  • Prawitz, D., 1965:Natural Deduction, A Proof·Theoretical Study, Stockholm.

  • Prawitz, D., 1971: ‘Ideas and Results in Proof Theory’, in: J.E. Fenstad (ed.),Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970), Amsterdam, pp. 235–308.

  • Prawitz, D., 1973: ‘Towards a Foundation of a General Proof Theory’, in P. Suppeset al. (eds.),Logic, Methodology and Philosophy of Science vol. IV, Amsterdam, pp. 225–250.

  • Prawitz, D., 1977: ‘Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic’,Theoria 43, 2–40.

    Google Scholar 

  • Prawitz, D., 1979: ‘Proofs and the Meaning and Completeness of the Logical Constants’, in: J. Hintikkaet al. (eds.), Essays on Mathematical and Philosophical Logic, Dordrecht, pp. 25–40.

  • Schroeder-Heister, P., 1981: ‘Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen’, Dissertation, Bonn.

Download references

Author information

Authors and Affiliations

  1. Philosophische Fakultät, Fachgruppe Philosophie, Universität Konstanz, Postfach 5560, D 7750, Konstanz 1, West Germany

    Peter Schroeder-Heister

Authors
  1. Peter Schroeder-Heister
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schroeder-Heister, P. The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. J Philos Logic 12, 359–377 (1983). https://doi.org/10.1007/BF00263483

Download citation

  • Issue Date:

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

Keywords