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