On 2013-05-30, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> I've played with stuff like this, too, though never got anything complete
> enough to post....
Well, if you have any fragments, I would interested to see them.
> Your semantics are straightforward for constants, but get messy once you
> have variables. Why is elementp(x,S) a nounform, but elementp(x,{1})
> false? What about elementp(1,S) or elementp(1,{x})? What about
> elementp(x,{y})? Is that Unknown? or a nounform?
Those are interesting questions. I'll think about it some more. In the
meantime if you have any proposal, I'd be glad to hear it.
> I think there's a lot to think about systematically here....
Agreed.
best
Robert Dodier