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

Links

PhilArchive



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

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: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
Axioms for the Implicational Calculus With One Variable.Henry W. Johnstone & Robert Price - 1964 - Theoria 30 (1):1-4.
The one variable implicational calculus.V. Frederick Rickey - 1974 - Notre Dame Journal of Formal Logic 15 (3):478-480.
An interpolation lemma for the pure implicational calculus.Roy Edelstein - 1975 - Journal of Symbolic Logic 40 (3):443-444.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Henry Johnstone, Jr.'s Still-Unacknowledged Contributions to Contemporary Argumentation Theory.Jean Goodwin - 2001 - Informal Logic 21 (1).
Review: Richard Tursman, The Shortest Axioms of the Implicational Calculus; Ivo Thomas, Final Word on a Shortest Implicational Axiom. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
A Henkin-style completeness proof for the pure implicational calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
Henry W. Johnstone, Jr.: A Bibliography, 1948-1997.Henry W. Johnstone - 1998 - Philosophy and Rhetoric 31 (1):6 - 18.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Con Amore: Henry Johnstone, Jr.'s Philosophy of Argumentation.James Crosswhite - 2001 - Informal Logic 21 (1).

Analytics

Added to PP
2013-11-22

Downloads
4 (#1,599,757)

6 months
1 (#1,516,429)

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