Pat Hayes wrote:
> For details see
> http://www.ihmc.us:16080/users/phayes/IKL/SPEC/SPEC.html
> and the 'guide' linked from there. (01)
In the guide, app. A, the axiom for extensional equivalence is not correct: (02)
(forall (x y)(iff
(equivalentRelation x y)
(forall (...)(and (iff (x ...)(y ...)))
)) (03)
The 'and' seems spurious to me. (And the parentheses do not match.) (04)
vQ (05)
_________________________________________________________________
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)
|