Re: Issue with top-down and bottom-up semantics

Frank,

You may well be right.  Implementationally, its not right, because we type
our
variables internally, and a variable shared across disjuncts might have
different
types in different disjuncts.  But I can't quickly come up with a
counterexample.

Cheers, Bob

On 10/26/07, Francis McCabe <frankmccabe@mac.com> wrote:
>
> Hi Bob:
>   I think that your understanding of variables is consistent with the
> flat interpretation:
>
> Ex (B(x) \/ C(x))
>
> <->
>
> (Ex B(x)) \/ (Ex C(x))
>
> Similarly:
>
> Ax (B(x) /\ C(x) )
>
> <->
>
> (Ax B(x)) /\ (Ax C(x))
>
> A query can be viewed as the constructive refutation of the formula:
>
> ¬ Ex Q(x)
>
> Frank
>
> On Oct 26, 2007, at 8:43 AM, Bob MacGregor wrote:
>
>