W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2009

Re: changes to the well-foundedness condition

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 26 Mar 2009 17:56:07 +0100
Message-ID: <49CBB3A7.5080808@inf.unibz.it>
To: kifer@cs.sunysb.edu
CC: RIF WG Public list <public-rif-wg@w3.org>

Michael Kifer wrote:
> In accordance with today's decision to relax the constraints on the symbols in
> BLD, I have relaxed the conditions for well-foundedness and the corresponding
> specialization from FLD - pls see the wiki
> I think the decision didn't explicitly mention whether external and plain
> function symbols (and likewise predicate symbols) are to be interchangeable or
> not. I assumed that they are not, but just wanted to mention this in case
> anybody objects.

This was also my understanding.


> michael

+43 1 58801 18470        debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
Many would be cowards if they had courage
  - Thomas Fuller
Received on Thursday, 26 March 2009 16:57:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:03 GMT