W3C home > Mailing lists > Public > www-archive@w3.org > September 2005

Re: experimental "WORKER" proof

From: Dan Connolly <connolly@w3.org>
Date: Mon, 12 Sep 2005 15:49:27 -0500
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-Id: <1126558167.4430.532.camel@dirk>

On Sun, 2005-09-11 at 02:26 +0200, jos.deroo@agfa.com wrote:
> I now think that
> WHERE {{W1} UNION {W2} ... UNION {Wn}}
> should return

I'm not sure I understand the details, but your mention of
"constructive semantics" suggests it overlaps significantly
with my own research reading lately on provability logic such;
I started to swap that Artemov stuff back in, but I'm struggling...

The work on cwm and PML has started up again lately; did you see
these meeting notes?

CWM/PML/Inference Web Integration


 to-pml.n3, the converter from cwm proof to PML

and later...

cwm/PML integration

Any chance you could spare some time to
look at having euler and cwm share a proof syntax?

Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 12 September 2005 20:50:03 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:42:53 UTC