>The translation into Lbase is pointless. There is no notion given in
>the document that can be used to determine whether it is correct or
>not. For example, I expected to see a claim stating that
> G1 x-entails G2
>iff
> TR(G1) plus the axioms for x entails TR(G2) in Lbase
>without such a claim there is no notion of success for the
>translation, and thus it is pointless.
I do not feel it is strictly necessary to respond to this comment,
but the intended properties of an Lbase translation are stated in the
Lbase document referred to in the semantics document. And in any
case, the appendix is intended only to be an informative summary of
the semantic conditions rendered into a logical notation. Its
intended meaning will be obvious to anyone with a logical training,
and irrelevant to any other reader.
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
PensacolaÂ Â Â Â Â Â Â Â Â Â Â Â Â Â (850)202 4440 fax
FL 32501Â Â Â Â Â Â Â Â Â Â Â (850)291 0667 cell
phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayess.pam@ai.uwf.edu for spam