John Myhill. Notes towards an axiomatization of intuitionistic logic. Logique et analyse, n.s. vol. 9 , pp. 280–297

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269889

Links

PhilArchive



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

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

Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.
Notes Towards an Axiomatization of Intuitionistic Logic.John Myhill - 1968 - Journal of Symbolic Logic 33 (2):290-290.
Problems arising in the formalization of intensional logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
Notes toward an axiomatization of recklessness.C. Lambros - 1975 - Logique Et Analyse 18 (69):133.
Myhill J.. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 , pp. 74–83.Bede Rundle - 1972 - Journal of Symbolic Logic 37 (1):180-180.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 , pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 , pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 , pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 , pp. 757–758. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):328-329.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3-6):93-96.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: Axiomatization and representability results.Lennart Åqvist - 2008 - Logique Et Analyse 203:225-261.
Issman S.. Exposé de H. B. Curry. Logique et analyse , n.s. vol. 2 , pp. 30–31.Issman S.. Exposé de J. H. Woodger. Logique et analyse , n.s. vol. 2 , p. 31.Issman S.. Exposé de K. Ajdukiewicz. Logique et analyse , n.s. vol. 2 , pp. 31–34.Loreau J.. Discussions sur les rapports de MM. Scarpelli et Ross. Logique et analyse , n.s. vol. 2 , pp. 35–41.Loreau J.. Discussion générale. Logique et analyse , n.s. vol. 2 , pp. 44–47. [REVIEW]A. Robinson - 1960 - Journal of Symbolic Logic 25 (1):91-91.
Some results in intuitionistic modal logic.L. Farinas Del Cerro - 1983 - Logique Et Analyse 26 (2):219.
Free Intuitionistic Logic and its S4 Counterpart.Raymond D. Gumb - 1985 - Logique Et Analyse 28 (10):283-294.
Combining intuitionistic logic with paraconsistent operators.Norihiro Kamide - 2012 - Logique Et Analyse 217:57-71.
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.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,456,990)

6 months
6 (#510,793)

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