A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

Journal of Symbolic Logic 36 (2):329-329 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270284

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

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

Grzegorczyk Andrzej. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 , pp. 596–601; also Indagationes matkematicae, vol. 26 , pp. 596–601. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
Review: Andrzej Grzegorczyk, The Systems of Lesniewski in Relation to Contemporary Logical Research. [REVIEW]A. N. Prior - 1962 - Journal of Symbolic Logic 27 (1):117-118.
Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):71-72.
Review: Andrzej Grzegorczyk, On the Validation of the Sets of Axioms in Mathematical Theories. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-387.

Analytics

Added to PP
2015-02-05

Downloads
64 (#328,780)

6 months
6 (#838,367)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references