The Demarcation Line Between Intuitionist Logic and Classical Logic

&
Mathematical Logic Quarterly 12 (1):257-262 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120121

Links

PhilArchive



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

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.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law.Antonino Drago - 2001 - Journal of Applied Non-Classical Logics 11 (3):281-294.
A Note on the Intuitionist and the Classical Propositional Calculus.T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
Review: Evert W. Beth, Hugues Leblanc, A Note on the Intuitionist and the Classical Propositional Calculus. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
Beth Evert W. and Leblanc Hugues. A note on the intuitionist and the classical prepositional calculus. Logique et analyse , n.s. vol. 3 , pp. 174–176. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
Traduzione, doppia negazione ed ermeneutica.Antonino Drago - 2003 - Studium 99 (5):769-780.
Intuitionism versus Degrees of Truth.Stephen P. Schwartz - 1990 - Analysis 50 (1):43 - 47.
Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
Logic As Based On Incompatibility.Jaroslav Peregrin - unknown
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
Relating Intuitionist Negation and Triviality.Wagner de Campos Sanz - 2004 - Logic Journal of the IGPL 12 (6):581-599.

Analytics

Added to PP
2014-01-16

Downloads
38 (#409,607)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

Queries on Truth-Conditions.Hugues Leblanc - 1975 - Dialogue 14 (3):410-419.

Add more citations

References found in this work

No references found.

Add more references