W3C home > Mailing lists > Public > www-archive@w3.org > January 2004

substitution is a concept that you're allowed to use without explanation

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Fri, 9 Jan 2004 01:53:02 +0100
To: "connolly" <connolly@w3.org>
Cc: www-archive@w3.org
Message-ID: <OF2330EFA6.218F87C5-ONC1256E16.00029D94-C1256E16.0004EF80@agfa.be>

in http://lists.w3.org/Archives/Public/www-archive/2004Jan/0013.html
DanC wrote:
[...]
> <DanCon> DanC: substitution is a concept that you're allowed to use
> without explanation in logic papers

I thought so too, but am lacking pointers...

maybe I'll simplify our output again to e.g.

[[
 {:worksFor :transitiveOver :consistsOf.
  :gSw :consistsOf :gSwBe.
  :mk :worksFor :gSwBe} =>
{:mk :worksFor :gSw}.
]]

Maybe it's just the followed *paths* that should
be made observable and be validated...


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 8 January 2004 19:53:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:39 GMT