Re: "|-" and proofs

From: Torkel Franzen <torkel@xxxxxxxxxx>
Date: 25 Nov 2005 12:22:52 +0100

stevendaryl3016@xxxxxxxxx (Daryl McCullough) writes:

> It is a very natural metalanguage. I don't know what
> you consider confusing about it.

But see Aatu's comments. Sequents are not necessarily used as
statements expressing derivability in some calculus.

.

References:
- "|-" and proofs
  - From: paul_bostonjp
- Re: "|-" and proofs
  - From: William Elliot
- Re: "|-" and proofs
  - From: Daryl McCullough

Prev by Date: Re: conditional statement v.s. conditional probability?
Next by Date: Re: Help with a problem
Previous by thread: Re: "|-" and proofs
Next by thread: Re: "|-" and proofs
Index(es):
- Date
- Thread