Investigations into the System of Intuitionist Logic

Studia Logica 34 (2):117 - 120 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Logic as "making it explicit".Jaroslav Peregrin - manuscript
Problems with an "intuitionist" example.R. G. Clark - 1981 - Philosophical Investigations 4 (4):17-23.
Logic As Based On Incompatibility.Jaroslav Peregrin - unknown
On analysing relevance constructively.Garrel Pottinger - 1979 - Studia Logica 38 (2):171 - 185.
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.
Intuitionist logic, a logic of justification.John T. Kearns - 1978 - Studia Logica 37 (3):243 - 260.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
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.
Logical consequence, deductive-theoretic conceptions.Matthew McKeon - 2004 - Internet Encyclopedia of Philosophy.
A new way of normalizing intuitionist propositional logic.Garrel Pottinger - 1976 - Studia Logica 35 (4):387 - 408.

Analytics

Added to PP
2011-05-29

Downloads
24 (#620,575)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references