Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic [Book Review]

Journal of Symbolic Logic 33 (2):290-290 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 206--231.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (S2):309-329.
Obituary: John R. Myhill (1923–1987).N. D. Goodman & R. E. Vesley - 1987 - History and Philosophy of Logic 8 (2):243-244.
Choice of primitives: A note on axiomatizing intuitionistic logic.I. L. Humberstone - 1998 - History and Philosophy of Logic 19 (1):31-40.
Review: John Myhill, Two Ways of Ontology in Modern Logic. [REVIEW]William Marshall - 1953 - Journal of Symbolic Logic 18 (1):91-92.
Review: John Myhill, A Finitary Metalanguage for Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references