[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [jboske] Quantifiers and lo/loi
xorxes:
> This is a summary of quantifiers and lo/loi in current SL
> as I understand it:
I'll read it properly when I have time.
> I don't know if this tells us anything. Anyway, that's my
> understanding of SL quantification with lo/loi. Restricting
> the innermost quantifier to be always equivalent to ro makes
> many expressions longer than they'd need to
An XS solution not incompatible with SL is to say that
quantifiers are underlyingly of the form {PA fi'u roPA},
but that bits of the expression can be omitted and left
to glorking.
--And.