Myhill John. A finitary metalanguage for extended basic logic

Journal of Symbolic Logic 20 (1):81-81 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268099

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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, A Finitary Metalanguage for Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
A finitary metalanguage for extended basic logic.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):164-178.
Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic. [REVIEW]Burton Dreben - 1955 - Journal of Symbolic Logic 20 (1):81-81.
Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
Finitary sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
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.
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
Finitary algebraic logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.
The Logical enterprise.Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.) - 1975 - New Haven: Yale University Press.
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics.Andrzej Blikle - 1987 - Springer Verlag.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.
Notes Towards an Axiomatization of Intuitionistic Logic.John Myhill - 1968 - Journal of Symbolic Logic 33 (2):290-290.
Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic. [REVIEW]R. E. Vesley - 1968 - Journal of Symbolic Logic 33 (2):290-290.

Analytics

Added to PP
2016-06-30

Downloads
15 (#972,895)

6 months
3 (#1,042,169)

Historical graph of downloads
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