14 found
Sort by:
Disambiguations:
Michael Byrd [13]Michael E. Byrd [1]
  1. Michael Byrd (1989). Russell, Logicism, and the Choice of Logical Constants. Notre Dame Journal of Formal Logic 30 (3):343-361.
  2. Michael Byrd (1988). Review: Edward N. Zalta, Abstract Objects. An Introduction to Axiomatic Metaphysics. [REVIEW] Journal of Symbolic Logic 53 (2):643-643.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Byrd (1986). The Logic of Natural Language. International Studies in Philosophy 18 (3):98-100.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Michael Byrd (1980). Eventual Permanence. Notre Dame Journal of Formal Logic 21 (3):591-601.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Michael Byrd (1979). A Formal Interpretation of Ł Ukasiewicz' Logics. Notre Dame Journal of Formal Logic 20 (2):366-368.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. Michael Byrd (1978). Megarian Necessity in Forward-Branching, Backward-Linear Time. Noûs 12 (4):463-469.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Michael Byrd (1978). On the Addition of Weakened L‐Reduction Axioms to the Brouwer System. Mathematical Logic Quarterly 24 (25‐30):405-408.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Michael Byrd (1978). The Extensions of BAlt3 — Revisited. Journal of Philosophical Logic 7 (1):407 - 413.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Michael Byrd & Dennis Henry (1978). Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. Mathematical Logic Quarterly 24 (12):187-191.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. David Ullrich & Michael Byrd (1977). The Extensions of BAlt. Journal of Philosophical Logic 6 (1):109 - 117.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Michael Byrd (1976). Single Variable Formulas in S4→. Journal of Philosophical Logic 5 (4):439 - 456.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Michael Byrd (1974). Must We Quantify Into Opaque Contexts? Philosophical Studies 26 (5-6):401 - 409.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Michael E. Byrd (1973). Knowledge and True Belief in Hintikka's Epistemic Logic. Journal of Philosophical Logic 2 (2):181 - 192.