Kenneth Harris

Orcid: 0000-0002-5930-6456

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
eta-representation of sets and degrees.
J. Symb. Log., 2008

2002
Shortest Axiomatizations of Implicational S4 and S5.
Notre Dame J. Formal Log., 2002

Short Single Axioms for Boolean Algebra.
J. Autom. Reason., 2002

2001
Comments on Some Completeness Theorems of Urquhart and Méndez & Salto.
J. Philos. Log., 2001

Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.
J. Autom. Reason., 2001


  Loading...