Re: Multisets and 3VL
Date: 17 Jan 2006 13:05:09 -0800
David Fetter wrote:
> I've read Date, Darwen and Pascal's ideas on how their relational
> model is based on set theory (I assume they mean ZFC, but it's
> probably not important) and two-valued logic, and they've done a
> thorough job of writing this down.
> Has anybody done similar work starting from multiset theory and
> three-valued logic?
> neutral geometry has sharper limits on what it can prove than
> Euclidean geometry does.
> If such work has been done, can I get a reference to it?
> Thanks in advance for your help :)
> David Fetter david_at_fetter.org http://fetter.org/
> phone: +1 510 893 6100 mobile: +1 415 235 3778
> You don't need intelligence to have luck, but you do need luck to have
Received on Tue Jan 17 2006 - 22:05:09 CET