The papers are in reverse chronological order.
Copyrights are held variously by the authors or publishers. 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. 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.
Last modified: Sun Mar 25 18:28:53 CST 2001
- 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)
- 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)
-
Intuitive Counterexamples for Constructive Fallacies
(August 1994, preprint of conference proceedings)
-
Equational Logic Programming
(August 1994, preprint of book chapter)
-
Introduction: Logic and Logic Programming Languages
(August 1994, preprint of book chapter)
-
Electronic Journals - scholarly invariants in a changing medium
(August 1993, invited conference paper, no proceedings)
-
Survey of the Equational Logic Programming Project
(March 1987, invited conference paper, not in proceedings)
-
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.
-
How to Prove Representation-Independent Independence Results
(January 1987, preprint of journal article)