Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 , pp. 310–312

M. D. Gladstone

doi:10.2307/2271466

Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 , pp. 310–312 [Book Review]

Journal of Symbolic Logic 35 (4):584 (1970)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Informal Logic in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2271466
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 56,999

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.

Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.

Henry W. JohnstoneJr., The Law of Non-Contradition. Logique Et Analyse, N.S. Vol. 3 , Pp. 3–10.Irving M. Copi - 1971 - Journal of Symbolic Logic 36 (3):550-551.

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.

Henry W. JohnstoneJr., Systèmes Formels Et Systèmes Ontologiques. Logique Et Analyse, N.S. Vol. 1 , Pp. 24–28.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):550.

Axioms for the Implicational Calculus With One Variable.Henry W. Johnstone & Robert Price - 1964 - Theoria 30 (1):1-4.

Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.

Interpolation for Church's Pure Functional Calculus of Second Order under Secondary Interpretations.Cristina Corredor-Lanas - 1990 - Logique Et Analyse 33 (29):69.

Synthetic Tableaux for Lukasiewicz's Calculus L3 Mariusz Urbanski.Logique A. Analyse - 2002 - Logique Et Analyse 45:155.

The One Variable Implicational Calculus.V. Frederick Rickey - 1974 - Notre Dame Journal of Formal Logic 15 (3):478-480.

Implicational Converses.Lloyd Humberstone - 2002 - Logique Et Analyse 45:61-79.

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.

A Formalisation Of The Χ0-Valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):293-294.

A Formalisation of the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.

Analytics

Added to PP index
2016-06-30

Total views
28 ( #371,049 of 2,410,618 )

Recent downloads (6 months)
8 ( #86,553 of 2,410,618 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.