Disambiguations:
Dennis Henry [3]Dennis Robert Henry [1]
  1.  25
    Michael Byrd & Dennis Henry (1978). Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. Mathematical Logic Quarterly 24 (12):187-191.
  2.  4
    Michael Byrd & Dennis Henry (1978). Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (12):187-191.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  20
    Dennis Henry & Michael Byrd (1979). On Defining Necessity in Terms of Entailment. 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 (5 more)  
     
    Export citation  
     
    My bibliography