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