Re: deductive databases
From: Torkel Franzen <torkel_at_sm.luth.se>
Date: 21 May 2005 10:13:44 +0200
Message-ID: <vcbfywhnghz.fsf_at_beta19.sm.ltu.se>
Date: 21 May 2005 10:13:44 +0200
Message-ID: <vcbfywhnghz.fsf_at_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.