Intuitionist logic, a logic of justification

Studia Logica 37 (3):243 - 260 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02124726

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Is it justifiable to abandon all search for a logic of discovery?Mehul Shah - 2007 - International Studies in the Philosophy of Science 21 (3):253 – 269.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Logical consequence, deductive-theoretic conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
Logic As Based On Incompatibility.Jaroslav Peregrin - unknown
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.

Analytics

Added to PP
2009-01-28

Downloads
53 (#307,532)

6 months
5 (#700,287)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John T. Kearns
State University of New York, Buffalo

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
The logic of conditionals.Ernest Adams - 1965 - Inquiry: An Interdisciplinary Journal of Philosophy 8 (1-4):166 – 197.
Wittgenstein's philosophy of mathematics.Michael Dummett - 1959 - Philosophical Review 68 (3):324-348.

View all 7 references / Add more references