* * * * * WORKING DOCUMENTS * * * * * *

Work in Progress by [back] Michael J. O'Donnell

The materials in this section are drafts of work in progress, provided as a courtesy to others interested in the same topics. Please treat them as such, and do not refer to any of their contents as definite results or claims. In particular, the bibliography and credits to others may not be complete or accurate, and not all of the results have been verified.

Copyright

Copyrights are held by the authors, but may be transferred to publishers when the work is completed. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions.

Last modified: Wed Jan 19 16:19:28 CST 2000

  1. The Sound Manifesto
  2. Against Nonmonotonic Logic
  3. Digital Sound Textbook
  4. Description of a pictorial logo for CJTCS
  5. Realizability semantics for constructive logic (in a very messy state)
  6. Proposal for a Public Service Software Team
  7. An article for the Journal of Electronic Publishing. This is really in progress, in the sense that I am writing it right now. Anything may change, and the HTML may not even be well-formed.