Re: Natural Negations

On Fri, 23 Dec 2005 07:24:03 -0800, William Elliot
<marsh@xxxxxxxxxxxxxxxxxx> wrote:

>
> Pierce's axiom ...
>
His name was /Peirce/.

See:
http://plato.stanford.edu/entries/peirce/


F.

--
"I do tend to feel Hughes & Cresswell is a more authoritative
source than you." (David C. Ullrich)
.

Relevant Pages

  • Re: Help with a problem
    ... "I do tend to feel Hughes & Cresswell is a more authoritative ... Ullrich) ... Prev by Date: ...
    (sci.logic)
  • Re: Natural deduction?
    ... "I do tend to feel Hughes & Cresswell is a more authoritative ... Ullrich) ... Prev by Date: ...
    (sci.logic)
  • Re: p implies (not p implies everything)
    ... "I do tend to feel Hughes & Cresswell is a more authoritative ... Ullrich) ... Prev by Date: ...
    (sci.logic)
  • Re: ramified type theory
    ... "I do tend to feel Hughes & Cresswell is a more authoritative ... Ullrich) ... Prev by Date: ...
    (sci.logic)
  • Re: Help with a problem
    ... "I do tend to feel Hughes & Cresswell is a more authoritative ... Ullrich) ... Prev by Date: ...
    (sci.logic)