 | 2008 |
|---|
| 5 |       | Kenneth Harris:
eta-representation of sets and degrees.
J. Symb. Log. 73(4): 1097-1121 (2008) |
| 2002 |
|---|
| 4 | | William McCune,
Robert Veroff,
Branden Fitelson,
Kenneth Harris,
Andrew Feist,
Larry Wos:
Short Single Axioms for Boolean Algebra.
J. Autom. Reasoning 29(1): 1-16 (2002) |
| 3 | | Zachary Ernst,
Branden Fitelson,
Kenneth Harris,
Larry Wos:
Shortest Axiomatizations of Implicational S4 and S5.
Notre Dame Journal of Formal Logic 43(3): 169-179 (2002) |
| 2001 |
|---|
| 2 | | Kenneth Harris,
Branden Fitelson:
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.
J. Autom. Reasoning 27(2): 141-156 (2001) |
| 1 | | Kenneth Harris,
Branden Fitelson:
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto.
J. Philosophical Logic 30(1): 51-55 (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page