Re: Definition of reference - was Continuation - An attempt at retriggering thought about past subjects

From: mAsterdam <mAsterdam_at_vrijdag.org>
Date: Thu, 19 Apr 2007 19:55:23 +0200
Message-ID: <4627ac75$0$328$e4fe514c_at_news.xs4all.nl>


Bruce C. Baker wrote:

> Jonathan Leffler wrote:
>> Cimode wrote:

>>> I hope this may have some usefulness...
>>>
>>> 1) On a better formalization of reference definition, (subjects
>>> launched by Marshall)..I we came to the following formalization...
>>> (using math symbology I apologize in advance for being too terse)...
>>>
>>> --Reference
>>> R(a) ? S(b) ??a E R,?R(a): ?b E S | ?S(b) | a=b
>>> --Reference Unique
>>> R(a) ? S(b) ??a E R,?R(a): ?!b E S | ?!S(b) | a=b

Your 'newsreader' (it identifies itself as 'Outlook express' is that a newsreader ????) garbles the unicode.

Maybe your browser does not:
http://groups.google.nl/group/comp.databases.theory/msg/45c631ac7b31ffc7 Received on Thu Apr 19 2007 - 19:55:23 CEST

Original text of this message