Order:
Disambiguations
Dennis Henry [3]Dennis Robert Henry [1]
  1.  32
    Sugihara's Criterion and Some Structural Parallels Between E→ and S3→.Michael Byrd & Dennis Henry - 1978 - Mathematical Logic Quarterly 24 (12):187-191.
  2.  16
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  21
    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 (5 more)  
     
    Export citation  
     
    My bibliography