Re: deductive databases

From: Torkel Franzen <torkel_at_sm.luth.se>
Date: 21 May 2005 10:13:44 +0200
Message-ID: <vcbfywhnghz.fsf@beta19.sm.ltu.se>

Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be> writes:

> Note that Mikito was asking about the case where you also had PA in your
> logic, so the structure also includes the constant 0 and the succesor
> function.

Then we haven't yet arrived at a precise formulation of the matter at issue. Your earlier formulation was

In a structure with the two binary relations R and S. The formula should be true for precisely those structures in which S is the transitive closure of R.

but from your comments above, this is not in fact what you had in mind. Received on Sat May 21 2005 - 03:13:44 CDT