W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2010

Re: [FLD] review of Appendix Hebrand Structures

From: Jos de Bruijn <jos.debruijn@gmail.com>
Date: Thu, 6 May 2010 09:46:51 +0200
Message-ID: <i2n16b487ba1005060046rf9a7572p99fa19bc2adddf90@mail.gmail.com>
To: kifer@cs.stonybrook.edu
Cc: RIF <public-rif-wg@w3.org>

> 2- In the definition of Herbrand domain, it seems to me that the second
> and
> > third bullet are redundant, since they are implied by the first
> Why? These terms (mentioned in those bullets) are equal according to our
> semantics. How does it follow that they are equal in Herbrand structures if
> those bullets are not included?

They are indeed equal to our semantics, so if t and s are such equal terms,
then TVal_I(s=t) must be true, so (s,t)\in E, by the first bullet.

Received on Thursday, 6 May 2010 07:47:44 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:58 UTC