29 found
Order:
Disambiguations
Michael Byrd [28]Michael E. Byrd [1]Michael Evan Byrd [1]
  1.  33
    Russell, Logicism, and the Choice of Logical Constants.Michael Byrd - 1989 - Notre Dame Journal of Formal Logic 30 (3):343-361.
  2.  6
    Part II of "The Principles of Mathematics".Michael Byrd - 1987 - Russell: The Journal of Bertrand Russell Studies 7 (1):60.
  3.  74
    Knowledge and True Belief in Hintikka's Epistemic Logic.Michael E. Byrd - 1973 - Journal of Philosophical Logic 2 (2):181 - 192.
  4.  31
    Single Variable Formulas in S4→.Michael Byrd - 1976 - Journal of Philosophical Logic 5 (4):439-456.
  5.  44
    The Extensions of BAlt.David Ullrich & Michael Byrd - 1977 - Journal of Philosophical Logic 6 (1):109 - 117.
  6.  7
    Part V of "The Principles of Mathematics".Michael Byrd - 1994 - Russell: The Journal of Bertrand Russell Studies 14 (1):47.
  7.  20
    The Extensions of BAlt3 — Revisited.Michael Byrd - 1978 - Journal of Philosophical Logic 7 (1):407 - 413.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  8
    Fitting the Pattern [Review of George Roberts, Ed., Bertrand Russell Memorial Volume].Michael Byrd - 1986 - Russell: The Journal of Bertrand Russell Studies 6 (2):187.
  9.  8
    Part VI of The Principles of Mathematics.Michael Byrd - 1999 - Russell: The Journal of Bertrand Russell Studies 19 (1).
  10.  40
    Correction to Review of Abstract Objects. An Introduction to Axiomatic Metaphysics. [REVIEW]Michael Byrd - 1988 - Journal of Symbolic Logic 53 (2):643-643.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  1
    Parts III-IV of The Principles of Mathematics.Michael Byrd - 1996 - Russell: The Journal of Bertrand Russell Studies 16 (2).
  12.  12
    Zalta Edward N.. Abstract Objects. An Introduction to Axiomatic Metaphysics, Synthese Library, Vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Xiii + 193 Pp. [REVIEW]Michael Byrd - 1986 - Journal of Symbolic Logic 51 (1):246-248.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  10
    Review of Abstract Objects. An Introduction to Axiomatic Metaphysics. [REVIEW]Michael Byrd - 1986 - Journal of Symbolic Logic 51 (1):246-248.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  14
    On the Addition of Weakened L‐Reduction Axioms to the Brouwer System.Michael Byrd - 1978 - Mathematical Logic Quarterly 24 (25‐30):405-408.
  15.  6
    Part VII of The Principles of Mathematics.Michael Byrd - 1999 - Russell: The Journal of Bertrand Russell Studies 19 (2).
  16.  12
    Eventual Permanence.Michael Byrd - 1980 - Notre Dame Journal of Formal Logic 21 (3):591-601.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. C. W. Kilmister, "Russell". [REVIEW]Michael Byrd - 1993 - Russell: The Journal of Bertrand Russell Studies 13 (1):101.
     
    Export citation  
     
    Bookmark  
  18.  4
    Foundations of Mathematics [Review of C.W. Kilmister, Russell].Michael Byrd - 1993 - Russell: The Journal of Bertrand Russell Studies 13 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Meinong and the Principle of Independence. [REVIEW]Michael Byrd - 1985 - Philosophical Review 94 (3):423-426.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  75
    Megarian Necessity in Forward-Branching, Backward-Linear Time.Michael Byrd - 1978 - Noûs 12 (4):463-469.
  21.  23
    Must We Quantify Into Opaque Contexts?Michael Byrd - 1974 - Philosophical Studies 26 (5-6):401 - 409.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. On Lukasiewiczian logics with several designated values.Michael Byrd - 1979 - Logique Et Analyse 22 (88):489.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  23
    On the Addition of WeakenedL-Reduction Axioms to the Brouwer System.Michael Byrd - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):405-408.
  24.  50
    Sugihara's Criterion and Some Structural Parallels Between E→ and S3→.Michael Byrd & Dennis Henry - 1978 - Mathematical Logic Quarterly 24 (12):187-191.
  25.  27
    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  
     
    Bookmark  
  26.  19
    The Logic of Natural Language.Michael Byrd - 1986 - International Studies in Philosophy 18 (3):98-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Zalta Edward N.. Abstract Objects. An Introduction to Axiomatic Metaphysics. Synthese Library, Vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Xiii + 193 Pp. [REVIEW]Michael Byrd - 1988 - Journal of Symbolic Logic 53 (2):643-643.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    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  
  29.  17
    A Formal Interpretation of Ł Ukasiewicz' Logics.Michael Byrd - 1979 - Notre Dame Journal of Formal Logic 20 (2):366-368.