Article PDF
Avoid common mistakes on your manuscript.
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.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00263483