Kenneth Harris

Orcid: 0000-0002-5930-6456

According to our database¹, Kenneth Harris authored at least 5 papers between 2001 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2008

eta-representation of sets and degrees.

[BibT_eX]

[DOI]

Kenneth Harris

J. Symb. Log., 2008

2002

Shortest Axiomatizations of Implicational S4 and S5.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2002

Short Single Axioms for Boolean Algebra.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

2001

Comments on Some Completeness Theorems of Urquhart and Méndez & Salto.

[BibT_eX]

[DOI]

Kenneth Harris

Branden Fitelson

J. Philos. Log., 2001

Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.

[BibT_eX]

[DOI]

Kenneth Harris

Branden Fitelson

J. Autom. Reason., 2001

Kenneth Harris

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...