Re: A Logical Model for Lists as Relations
From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 12 May 2006 10:10:16 -0700
Message-ID: <1147453816.319411.311230_at_i40g2000cwc.googlegroups.com>
> By sticking with sets of axioms, we retain the full use of the predicate
> calculus. If we switch to something else, naturally we would want some
> benefit exceeding our loss.
Date: 12 May 2006 10:10:16 -0700
Message-ID: <1147453816.319411.311230_at_i40g2000cwc.googlegroups.com>
Bob Badour wrote:
>
> By sticking with sets of axioms, we retain the full use of the predicate
> calculus. If we switch to something else, naturally we would want some
> benefit exceeding our loss.
This is exactly my motivation for treating ordered data as relations.
Marshall Received on Fri May 12 2006 - 19:10:16 CEST