Independent Axiom Schemata for the Pure Theory of Entailment

Mathematical Logic Quarterly 6 (1-6):93-95 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19600060106

Links

PhilArchive



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

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: Alan Ross Anderson, Nuel D. Belnap, John R. Wallace, Independent Axiom Schemata for the Pure Theory of Entailment. [REVIEW]Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):327-328.
Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment. [REVIEW]Jonathan Bennett - 1965 - Journal of Symbolic Logic 30 (2):240-241.
Independent axiom schemata for S.Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (3):255-256.
Independent axiom schemata for Von Wright's M.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):241-244.
Review: Alan Ross Anderson, Independent Axiom Schemata for S5. [REVIEW]Naoto Yonemitsu - 1957 - Journal of Symbolic Logic 22 (3):327-327.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
A Question of Entailment.John O. Nelson - 1964 - Review of Metaphysics 18 (2):364 - 377.
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
A reduction in the number of independent axiom schemata for $S4$.Leo Simons - 1962 - Notre Dame Journal of Formal Logic 3 (4):256-258.
Review: Leo Simons, A Reduction in the Number of Independent Axiom Schemata for S4. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245-245.
Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
Entailment: The Logic of Relevance and Necessity, Vol. i By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, xxxii + 542 pp., £13.70. [REVIEW]P. T. Geach - 1977 - Philosophy 52 (202):493-495.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.

Analytics

Added to PP
2013-11-24

Downloads
45 (#352,980)

6 months
6 (#518,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
Two variants of the system of entailment.Imre Ruzsa - 1975 - Mathematical Logic Quarterly 21 (1):57-68.

Add more citations

References found in this work

Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.

Add more references