Skip to main content
SpringerLink
Log in

First degree entailments

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • Anderson, Alan Ross: Completeness theorems for the systemsE of entailment andEQ of entailment with quantification. Technical Report No. 6, Office of Naval Research, Group Psychology Branch, Contract SAR/Nonr-609 (16), New Haven. Also in the Z. mathem. Logik u. Grundlagen Mathematik6, 201–216 (1959).

    Google Scholar 

  • ——, andNuel D. Belnap jr.: A simple proof of Gödel's completeness theorem [abstract]. J. symbolic Logic24, 320 (1960a).

    Google Scholar 

  • —— —— Tautological entailments. Philosophical studies,13, 9–24 (1962).

    Google Scholar 

  • —— —— A simple treatment of truth functions. J. symbolic Logic,24, 301–302 (1959).

    Google Scholar 

  • — — The pure calculus of entailment. J. symbolic Logic, forthcoming (1960b).

  • Belnap, Nuel D., jr.:EQ and the first order functional calculus, appendix to Anderson 1959. (Also in the Z. mathem. Logik u. Grundlagen Mathematik6, 217–218 (1959a).)

    Google Scholar 

  • —— Entailment and relevance. J. symbolic Logic,25 144–146 (1960a).

    Google Scholar 

  • —— Tautological entailments [abstract]. J. symbolic Logic24, 316 (1959b).

    Google Scholar 

  • — A formal analysis of entailment. Technical Report No. 7, Office of Naval Research, Group Psychology Branch, Contract SAR/Nonr-609 (16), New Haven (1960).

  • Church, Alonzo: Introduction to mathematical logic, vol. I, Princeton: Princeton University Press, 1956.

    Google Scholar 

  • Gentzen, Gerhard: Untersuchungen über das logische Schließen. Math. Z.39, 176–210, 403–431 (1934).

    Google Scholar 

  • Kanger, Stig: Provability in logic. Stockholm: Almqvist & Wiksell, 1957.

    Google Scholar 

  • McKinsey, J. C. C., andAlfred Tarski: Some theorems about the sentential calculi of Lewis and Heyting. J. symbolic Logic13, 1–15 (1948).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. New Haven, Conn., USA

    A. R. Anderson & N. D. Belnap Jr.

Authors
  1. A. R. Anderson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. D. Belnap Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Anderson, A.R., Belnap, N.D. First degree entailments. Math. Ann. 149, 302–319 (1963). https://doi.org/10.1007/BF01471125

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01471125

Search

Navigation