Re: [RIF] Reaction to the proposal by Boley, Kifer et al

From: Hassan Aït-Kaci <hak@ilog.com>
Subject: Re: [RIF] Reaction to the proposal by Boley, Kifer et al
Date: Wed, 03 May 2006 10:15:48 -0700

> Peter F. Patel-Schneider wrote:
> 
> > From: Francois Bry <bry@ifi.lmu.de>
> > Subject: Re: [RIF] Reaction to the proposal by Boley, Kifer et al
> > Date: Wed, 03 May 2006 14:21:28 +0200
> > 
> > 
> >>Peter F. Patel-Schneider wrote:
> >>
> >>>>This is based on a known logic: infinite Herbrand interpretations.
> >>>>    
> >>>
> >>>Reference, please.
> >>
> >>I could maybe help in giving reference if I would understand what you
> >>are asking for.
> > 
> > 
> > A reference to logics based on infinite Herbrand intepretations that shows
> > how they relate to standard first-order logics.
> 
> http://logic.stanford.edu/~thinrich/herbrand/html/index.html

Thanks, this is what I was asking for.

> Hassan Aït-Kaci

Now that that is cleared up ...

From that page:

	With functions, entailment is not semi-decidable and satisfiability
	is not semi-decidable.

I wonder, then, what is the relationship between this logic and standard
FOL.

peter

Received on Wednesday, 3 May 2006 18:06:48 UTC