[CS Dept., U Chicago]


Michael J. O'Donnell (Mike)

The Scholar

Technical Papers

The papers are in reverse chronological order.

Special Copyright Note

Some of the articles provided here have been published in books, journals and conference proceedings. Copyrights are held variously by the authors or publishers. In general, they are licensed for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as I can make them, but they are not authoritative copies of the published versions.

I license my own copyright in these articles freely to the public under GPL for code and Open Publication License for text. It is your responsibility to determine and abide by other rights ceded to publishers. I will annotate each article according to publication venue and rights claimed as well as I can.


  1. The Structure of Scholarship in Cyberspace (February 2001, presented at the Midwest Faculty Seminar institute on ``Computer Cultures,'' 1-3 March 2001; previous version at Professors and Publishing in the Electronic Academy, a conference sponsored by the University of Tennessee, Knoxville Library, 17-19 September 1996)
  2. The Sources of Certainty in Computation and Formal Systems (November 1999, presented at the 1999-2000 Sawyer Seminar at the University of Chicago, Computer Science as a Human Science: the Cultural Impact of Computerization)
  3. Some Intuition Behind Constructive Formal Logic: tableaux and Läuchli countermodels (March 1995, final version appeared in Annals of Pure and Applied Logic, 81:187-239, 1996)
  4. Intuitive Counterexamples for Constructive Fallacies (August 1994, preprint of conference proceedings)
  5. Equational Logic Programming (August 1994, preprint of book chapter)
  6. Introduction: Logic and Logic Programming Languages (August 1994, preprint of book chapter)
  7. Electronic Journals - scholarly invariants in a changing medium (August 1993, invited conference paper, no proceedings)
  8. Survey of the Equational Logic Programming Project (March 1987, invited conference paper, not in proceedings)
  9. Term-Rewriting Implementation of Equational Logic Programming (March 1987, invited conference paper, preprint of proceedings) This paper overlaps a lot with the previous one, but there is some different material too.
  10. How to Prove Representation-Independent Independence Results (January 1987, preprint of journal article)
  11. The Sound Manifesto (July 2000, reprint of conference proceedings)

Valid HTML 4.0!


Last modified: Mon Dec 5 19:14:58 CST 2005