> > > The logical system is essentially natural-deduction. I wanted to make > the language dynamic (allow for new symbols), and that complicated the > definition of the language. In any case the axioms and definition of > the language can be found in: > > http://www.andrewboucher.com/papers/foea/I11.pdf > >>>> > Um sorry, that should be:
