[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [jboske] Quantifiers and lo/loi

> 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.