Re: Multisets and 3VL

David Fetter wrote:
> Folks,
>
> 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?

See:

Query Languages for Bags (1993) Leonid Libkin, Limsoon Wong

Multi-sets and multi-relations in Z with an application to a bill-of-materials system (1990)

[...]
> neutral geometry has sharper limits on what it can prove than
> Euclidean geometry does.

That does not make any obvious sense. What "sharper limits" do you have in mind ?

>
> If such work has been done, can I get a reference to it?
>
> Thanks in advance for your help :)
>
> Cheers,
> David.
> --
> David Fetter david@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
> intelligence.
Received on Tue Jan 17 2006 - 15:05:09 CST