Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable [Book Review]

Journal of Symbolic Logic 35 (4):584-584 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271466

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

A definition of conjunction in the pure 1mplicational calculus with one variable.Henry W. Johnstone Jr - 1966 - Logique Et Analyse 33:310.
An interpolation lemma for the pure implicational calculus.Roy Edelstein - 1975 - Journal of Symbolic Logic 40 (3):443-444.
A Formalisation Of The M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
The one variable implicational calculus.V. Frederick Rickey - 1974 - Notre Dame Journal of Formal Logic 15 (3):478-480.
Gladstone M. D.. Some ways of constructing a propositional calculus of any required degree of unsolvability. Transactions of the American Mathematical Society, vol. 118 , pp. 192–210. [REVIEW]W. E. Singletary - 1969 - Journal of Symbolic Logic 34 (3):505-506.
M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 , S. 505–508.Rozsa Peter - 1970 - Journal of Symbolic Logic 35 (4):591.
M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 , pp. 581–592.Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):479.
Axioms for the Implicational Calculus With One Variable.Henry W. Johnstone & Robert Price - 1964 - Theoria 30 (1):1-4.
Review: W. Mays, C. E. M. Hansel, D. P. Henry, Note on the Exhibition of Logical Machines at the Joint Session, July 1950. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-78.

Analytics

Added to PP
2013-11-22

Downloads
36 (#632,936)

6 months
21 (#142,675)

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