W3C home > Mailing lists > Public > www-archive@w3.org > December 2003

Cwm/log/n3 rfe: subst

From: Dan Connolly <connolly@w3.org>
Date: Mon, 8 Dec 2003 18:56:52 -0800
To: Tim Berners-Lee <timbl@w3.org>, www-archive+n3bugs@w3.org
Message-Id: <1070941354.EF8103B@w5.dngr.org>

Found this while reviewing notes on my WearableGizmo; composed it while 
jetlagged in Japan diring the TAG meeting...

( 'fido 'X {X a Dog}) subst { fido a Dog }.

C setofall ('X {X a Int. X < 3 }).

{ C setofall (V F) } <=> { this log:forall X. { X a C } <=> (X V 
F).subst }.

Hmmm... Would this work for induction?
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 8 December 2003 22:42:35 GMT

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