>Pat Hayes wrote:
>> For details see
>> http://www.ihmc.us:16080/users/phayes/IKL/SPEC/SPEC.html
>> and the 'guide' linked from there.
>
>In the guide, app. A, the axiom for extensional equivalence is not correct:
>
>(forall (x y)(iff
> (equivalentRelation x y)
> (forall (...)(and (iff (x ...)(y ...)))
>))
>
>The 'and' seems spurious to me. (And the parentheses do not match.) (01)
Yes, you are right. That seems to be a careless edit. Obviously it should read (02)
>(forall (x y)(iff
> (equivalentRelation x y)
> (forall (...)(iff (x ...)(y ...)))
>)) (03)
Thanks for catching that. (04)
Pat (05)
>
>vQ
>
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/
>To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (06)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|