Works by Dennis Henry

( view other items matching `Dennis Henry`, view all matches )
Order:
Disambiguations
Dennis Henry [3]Dennis Robert Henry [1]
  1.  57
    Sugihara's Criterion and Some Structural Parallels Between E→ and S3→.Michael Byrd & Dennis Henry - 1978 - Mathematical Logic Quarterly 24 (12):187-191.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  31
    Sugihara's Criterion and Some Structural Parallels Between E→ and S3→.Michael Byrd & Dennis Henry - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (12):187-191.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  40
    On defining necessity in terms of entailment.Dennis Henry & Michael Byrd - 1979 - Studia Logica 38 (2):95 - 104.
    In their book Entailment, Anderson and Belnap investigate the consequences of defining Lp (it is necessary that p) in system E as (pp)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 is shown that a definition of necessity in E satisfies the conditions { E Lpp, EL(pq)(LpLq), E pLp} if and only if its has the form C 1.C2 .... Cnp, where (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark