The Philosophical Basis of Intuitionistic Logic

In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1973, 1975

Links

PhilArchive



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

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

Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
And negations.Greg Restall - unknown
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
On the admissible rules of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.

Analytics

Added to PP
2010-11-29

Downloads
342 (#59,230)

6 months
44 (#93,363)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On what grounds what.Jonathan Schaffer - 2009 - In David Manley, David J. Chalmers & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 347-383.
Making sense of logical pluralism.Matti Eklund - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):433-454.
Platonism in the Philosophy of Mathematics.Øystein Linnebo - forthcoming - Stanford Encyclopedia of Philosophy.

View all 162 citations / Add more citations

References found in this work

No references found.

Add more references