Skip to main content
SpringerLink
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

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

Search

Navigation