An Intuitionistically Plausible Interpretation of Intuitionistic Logic

Journal of Symbolic Logic 42 (4):564 - 578 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271877

Links

PhilArchive



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

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

An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
Negative Translations Not Intuitionistically Equivalent to the Usual Ones.Jaime Gaspar - 2013 - Studia Logica 101 (1):45-63.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
An application of Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1985 - Studia Logica 44 (1):79 - 85.
The coherence of antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.
If every true proposition is knowable, then every believed (decidable) proposition is true, or the incompleteness of the intuitionistic solution to the paradox of knowability.Elia Zardini - unknown
Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Second order propositional operators over Cantor space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.

Analytics

Added to PP
2011-05-29

Downloads
19 (#796,059)

6 months
7 (#421,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The infinite, the indefinite and the critical turn: Kant via Kripke models.Carl Posy - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):743-773.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.

Add more citations

References found in this work

No references found.

Add more references