Completeness theorems for two propositional logics in which identity diverges from mutual entailment

&
Notre Dame Journal of Formal Logic 22 (3):269-282 (1981)
  Copy   BIBTEX

Abstract

Anderson and Belnap devise a model theory for entailment on which propositional identity equals proposional coentailment. This feature can be reasonably questioned. The authors devise two extensions of Anderson and Belnap’s model theory. Both systems preserve Anderson and Belnap’s results for entailment, but distinguish coentailment from identity.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883462

Links

PhilArchive



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

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

more on propositional identity.Philip Hugly & Charles Sayward - 1979 - Analysis 39 (3):129-132.
More on Propositional Identity.Charles Sayward & Philip Hugly - 1979 - Analysis 39 (3):129-132.
Entailment, with nods to Lewy and Smiley.Peter Smith - unknown
What is the Logic of Propositional Identity?Charles Sayward - 2006 - Logic and Logical Philosophy 15 (1):3-15.
Prior on Propositional Identity.Philip Hugly & Charles Sayward - 1976 - Analysis 36 (4):182-184.
On defining necessity in terms of entailment.Dennis Henry & Michael Byrd - 1979 - Studia Logica 38 (2):95 - 104.
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
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.
Review of Anderson & Belnap, Entailment, Vol. 1. [REVIEW]Michael Clark - 1978 - Philosophical Quarterly 28.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
The consequence relation of tautological entailment is maximally relevant: Answering a question of Graham Priest.Lloyd Humberstone - manuscript
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-.

Analytics

Added to PP
2010-08-24

Downloads
29 (#548,607)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Philip Hugly
University of California, Berkeley (PhD)
Charles Sayward
University of Nebraska, Lincoln

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references