- From: Peter F. Patel-Schneider <pfps@inf.unibz.it>
- Date: Wed, 03 May 2006 14:06:34 -0400 (EDT)
- To: hak@ilog.com
- Cc: public-rif-wg@w3.org
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