# AWARD-2002

## Argonne Workshop on Automated Reasoning and Deduction

Mathematics and Computer Science Division

Argonne National Laboratory

July 11-13, 2002

The focus of the the workshop is applications of automated
reasoning to problems in foundational logic and algebra.
### Participants

- Michael Beeson,
San Jose State University
- Johan Belinfante,
Georgia Tech
- Zac Ernst, University of Wisconsin
- Branden Fitelson,
San Jose State University
- Kenneth Harris, University of Chicago
- Olga Matlin,
Argonne National Laboratory
- Bill McCune,
Argonne National Laboratory
- Ross Overbeek, Integrated Genomics
- R Padmanabhan,
University of Manitoba
- Mike Rose, Argonne National Laboratory
- Ted Ulrich, Purdue University
- Bob Veroff,
University of New Mexico
- Larry Wos,
Argonne National Laboratory

### Talks

Presentations filled about half of the workshop.
- Larry Wos,
*XCB is a Single Axiom for the Equivalential Calculus*
- Bill McCune,
*
Yet Another Single Law for Lattice Theory*
- R. Padmanabhan,
*Cancellative Semigroups and Unique Complementation in LT*
- Branden Fitelson,
- Johan Belinfante,
*Defining Addition and Multiplication of Natural
Numbers in NBG Set Theory: A Progress Report *
(Mathematica Notebook)
- Ted Ulrich,
*Eleven-symbol Single Axioms for the Classical Equivalential
Calculus: What We Know, and What We Don't*
- Zac Ernst,
*Lattices of Implicational Logics*

### Miscellaneous Links