The development of intuitionistic logic

Stanford Encyclopedia of Philosophy. The Meta-27here I Am Assuming That’Evidence’Provides the Basis for One’s Doxastic Justification. Additionally, I:en ligne (2008)
  Copy   BIBTEX

Abstract

International audience.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Analytics

Added to PP
2014-03-11

Downloads
5 (#1,344,154)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mark van Atten
Centre National de la Recherche Scientifique

Citations of this work

Making sense of logical pluralism.Matti Eklund - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):433-454.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Delimited control operators prove Double-negation Shift.Danko Ilik - 2012 - Annals of Pure and Applied Logic 163 (11):1549-1559.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references