𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Defining ‘Dead’ in Terms of ‘Lives’ and ‘Dies’

✍ Scribed by Cody Gilmore


Book ID
106578679
Publisher
Springer
Year
2007
Tongue
English
Weight
189 KB
Volume
35
Category
Article
ISSN
0048-3893

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On defining necessity in terms of entail
✍ Dennis Henry; Michael Byrd 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 469 KB

In their book Entailment, Anderson and Belnap investigate the consequences of defining r (it is necessary that p) in system E as (p~p)~-p. Since not all theorems are equivalent in E, this raises the question of whether there are reasonable alternative definitions of necessity in E. In this paper, it