|
|
Frederick Williams wrote:
> Confutus wrote:
> >
> > Apparently, if I want three-valued logic to take its rightful place and
> > its revolutionary implications to be recognized, I have to become a
> > revolutionary. And a revolution needs a pamphlet, a tract, a manifesto
> > of some kind. So, read a draft of it at
> > http://www.sapiencekb.com/logic3rev.htm
>
> Next you will need some sound, complete and non-redundant axioms :-)
> --
I've included the ones Wajsberg produced for Lukasiewicz logic in a
second draft at the same link, for any whose interest and expertise
run along those lines.
|
|