Completeness theorems for two propositional logics in which identity diverges from mutual entailment
Notre Dame Journal of Formal Logic 22 (3):269-282 (1981)
| 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. | |||||||||
| Keywords | Anderson Belnap entailment propositional identity | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesPhilip Hugly & Charles Sayward (1979). More on Propositional Identity. Analysis 39 (3):129-132.
Charles Sayward & Philip Hugly (1979). More on Propositional Identity. Analysis 39:129-132.
Charles Sayward (2006). What is the Logic of Propositional Identity? Logic and Logical Philosophy 15:3-15.
Philip Hugly & Charles Sayward (1976). Prior on Propositional Identity. Analysis 36 (4):182-184.
Dennis Henry & Michael Byrd (1979). On Defining Necessity in Terms of Entailment. Studia Logica 38 (2):95 - 104.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
Michael Clark (1978). Review of Anderson & Belnap, Entailment, Vol. 1. [REVIEW] Philosophical Quarterly 28.
Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
Alan Anderson, Belnap R., D. Nuel & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. Ii. Princeton University Press.
C. Lewy (1964). Entailment And Propositional Identity. Proceedings of the Aristotelian Society 64:107-122.
Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,211 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
