Skip to main content
SpringerLink
Log in

Intuitionist logic, a logic of justification

  • Published:
Studia Logica 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. E. Adams,The Logic of Conditionals,Inquiry, vol. 8 (1965), pp. 166–197.

    Google Scholar 

  2. E. Adams,Probability and the Logic of Conditionals,Aspects of Inductive Logic, ed. by J. Hintikka and P. Suppes, North-Holland Publishing Co., Amsterdam, 1966.

    Google Scholar 

  3. A. Church,Introduction to Mathematical Logic, vol. 1, Princeton University Press, Princeton, 1956.

    Google Scholar 

  4. M.A.E. Dummett,Truth,Proceedings of the Aristotelian Society, vol. LIX (1958–1959), pp. 141–162.

    Google Scholar 

  5. M.A.E. Dummett,Wittgenstein's Philosophy of Mathematics,The Philosophical Review, vol. 68 (1959), pp. 324–348.

    Google Scholar 

  6. M.A.E. Dummett,Frege: Philosophy of Language, Harper & Row, New York, 1973.

    Google Scholar 

  7. M.A.E. Dummett,Elements of Intuitionism, Oxford Logic Guides Series, Oxford University Press, 1977.

  8. S.A. Kripke,Semantical Analysis of Intuitionistic Logic I,Formal Systems and Recursive Functions, ed. by J. N. Crossley and M.A.E. Dummett, North-Holland Publishing Company, Amsterdam, 1965.

    Google Scholar 

  9. A.S. Troelstra,Completeness and Validity for Intuitionistic Predicate Logic, Department of Mathematics, University of Amsterdam,Report 76-05 (1976).

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, State University of New York at Buffalo, Buffalo, USA

    John T. Kearns

Authors
  1. John T. Kearns
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 13 Januarii 1977

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kearns, J.T. Intuitionist logic, a logic of justification. Stud Logica 37, 243–260 (1978). https://doi.org/10.1007/BF02124726

Download citation

  • Issue Date:

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

Keywords

Search

Navigation