25 found
Order:
Disambiguations:
Michael Byrd [24]Michael E. Byrd [1]Michael Evan Byrd [1]
  1.  22
    Michael Byrd & Dennis Henry (1978). Sugihara's Criterion and Some Structural Parallels Between E→ and S3→. Mathematical Logic Quarterly 24 (12):187-191.
  2.  23
    Michael Byrd (1989). Russell, Logicism, and the Choice of Logical Constants. Notre Dame Journal of Formal Logic 30 (3):343-361.
  3.  45
    Michael E. Byrd (1973). Knowledge and True Belief in Hintikka's Epistemic Logic. Journal of Philosophical Logic 2 (2):181 - 192.
  4.  4
    Michael Byrd (1978). On the Addition of WeakenedL-Reduction Axioms to the Brouwer System. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):405-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  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  
  6.  3
    Michael Byrd (1976). Single Variable Formulas in S4→. Journal of Philosophical Logic 5 (4):439-456.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  51
    Michael Byrd (1978). Megarian Necessity in Forward-Branching, Backward-Linear Time. Noûs 12 (4):463-469.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  14
    Michael Byrd (1976). Single Variable Formulas in S4→. Journal of Philosophical Logic 5 (4):439 - 456.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  4
    Michael Byrd (1978). The Extensions of BAlt3 — Revisited. Journal of Philosophical Logic 7 (1):407 - 413.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  19
    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  
  11.  6
    David Ullrich & Michael Byrd (1977). The Extensions of BAlt. Journal of Philosophical Logic 6 (1):109 - 117.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  11
    Michael Byrd (1974). Must We Quantify Into Opaque Contexts? Philosophical Studies 26 (5-6):401 - 409.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13.  3
    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)  
     
    Export citation  
     
    My bibliography  
  14.  5
    Michael Byrd (1986). The Logic of Natural Language. International Studies in Philosophy 18 (3):98-100.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15.  6
    Michael Byrd (1979). A Formal Interpretation of Ł Ukasiewicz' Logics. Notre Dame Journal of Formal Logic 20 (2):366-368.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16.  4
    Michael Byrd (1980). Eventual Permanence. Notre Dame Journal of Formal Logic 21 (3):591-601.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    Michael Byrd (1978). On the Addition of Weakened L‐Reduction Axioms to the Brouwer System. Mathematical Logic Quarterly 24 (25‐30):405-408.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18. Michael Byrd (1986). "Bertrand Russell Memorial Volume", Ed. George W. Roberts. [REVIEW] Russell 6 (2):187.
     
    Export citation  
     
    My bibliography  
  19. Michael Byrd (1993). C. W. Kilmister, "Russell". [REVIEW] Russell 13 (1):101.
     
    Export citation  
     
    My bibliography  
  20. Michael Byrd (1979). On Lukasiewiczian logics with several designated values. Logique Et Analyse 22 (88):489.
    Translate
     
     
    Export citation  
     
    My bibliography  
  21. Michael Byrd (1987). Part II of "The Principles of Mathematics". Russell 7 (1):60.
     
    Export citation  
     
    My bibliography  
  22. Michael Byrd (1996). Parts III-IV of The Principles of Mathematics. Russell 16 (2).
     
    Export citation  
     
    My bibliography  
  23. Michael Byrd (1994). Part V of "The Principles of Mathematics". Russell 14 (1):47.
     
    Export citation  
     
    My bibliography  
  24. Michael Byrd (1999). Part VII of The Principles of Mathematics. Russell 19 (2).
     
    Export citation  
     
    My bibliography  
  25. Michael Byrd (1999). Part VI of The Principles of Mathematics. Russell 19 (1).
     
    Export citation  
     
    My bibliography