Kenneth Harris

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Kenneth Harris
eta-representation of sets and degrees. J. Symb. Log. 73 (4) (2008)
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
Short Single Axioms for Boolean Algebra. J. Autom. Reason. 29 (1) (2002)
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Shortest Axiomatizations of Implicational S4 and S5. Notre Dame J. Formal Log. 43 (3) (2002)
Kenneth Harris, Branden Fitelson
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. J. Philos. Log. 30 (1) (2001)
Kenneth Harris, Branden Fitelson
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. J. Autom. Reason. 27 (2) (2001)