PRA implementation
Randall Holmes (holmes@catseye.idbsu.edu)
Wed, 1 Nov 1995 09:32:57 -0700
There is some more material about my proposed implementation of a
"root logic" equivalent in strength to PRA (a theory of binary trees)
on my WWW page. Follow the link to QED, then to the meta-logic
proposal, then to "something more concrete". This is still very much
draft material; it is lacking both proofs of equivalence with PRA and
a report on experience with actual implementation under my prover.
The opinions expressed | --Sincerely, M. Randall Holmes
above are not the official | Math. Dept., Boise State Univ.
opinions of any person | holmes@math.idbsu.edu
or institution. | http://math.idbsu.edu/faculty/holmes.html