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

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

-- 
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com

Received on Wednesday, 3 May 2006 17:14:29 UTC