Michael Byrd
University of Wisconsin-Madison
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Michael Byrd.
Studia Logica | 1979
Dennis Henry; Michael Byrd
In their book Entailment, Anderson and Belnap investigate the consequences of defining ‘Lp’ (it is necessary that p) in system E as (p→p)→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 Lp→p, ⊢EL(p→q)→(Lp→Lq), ⊢E p→Lp} if and only if its has the form C1→.C2→ ...→. Cn→p, where each Ciis equivalent in E to either p→p or ((p→p)→p)→p.
Journal of Philosophical Logic | 1977
David Ullrich; Michael Byrd
Journal of Philosophical Logic | 1976
Michael Byrd
Journal of Philosophical Logic | 1978
Michael Byrd
Journal of Philosophical Logic | 1973
Michael Byrd
Russell-the Journal of The Bertrand Russell Studies | 1999
Michael Byrd
Journal of Philosophical Logic | 1978
Michael Byrd
Russell-the Journal of The Bertrand Russell Studies | 1993
Michael Byrd
Russell-the Journal of The Bertrand Russell Studies | 1986
Michael Byrd
Mathematical Logic Quarterly | 1978
Michael Byrd; Dennis Henry