Thanks for visiting--


--please come back again.



    And please e-mail me (dulrich at purdue dot edu) if you can respond to any of the following questions:

* Does anybody know where to find a photograph of any of
   the following  logicians?
        Jean Nicod
(he was the first person to find a
                  single axiom for any sentential calculus)
          David Meredith
(the first person to program
                 a computer to search for proofs using the
                 rule of condensed detachment--it was
                 UNIVAC, no less)
        C(arew) A(rthur) Meredith
(the all-time grand
                 master of this sort of thing)

Dolph Ulrich, 2007

 Entrance page | Home page | Twenty-six open questions |

Single axioms for:  | BCI | 4 subsystems of BCI | monothetic BCI | C-pure R | C-pure R-Mingle | C-pure LNo |
| BCK | C-pure intuitionism | Classical equivalence | A few more systems |

| D-complete axioms for (classical) equivalence | Exit page |