Re: Godel's Incompleteness and Nonmonotonic Logic

From: Herman Jurjus (h.jurjus_at_hetnet.nl)
Date: 08/24/04 

Date: Tue, 24 Aug 2004 11:31:56 +0200

Student wrote:
[snip]

> Digging a little on the net, I have found at least one notable
> detractor to nonmonotonic logics, Jean-Yves Girard. In "Girard, J.-Y.
> : Locus Solum, Mathematical Structures in Computer Science 11, pp.
> 301-506, 2001." Girard mentions in brief that Nonmonotonic logics fall
> into the trap of inconsistency/incompleteness.

Could you download this paper somewhere? Where? 

-- 
Cheers,
Herman Jurjus

Relevant Pages

  • Re: Godels Incompleteness and Nonmonotonic Logic
    ... > into the trap of inconsistency/incompleteness. ... Could you download this paper somewhere? ... Herman Jurjus ...
    (comp.lang.prolog)
  • Re: Debugging - catching runtime errors and a comment...
    ... it will be hard to say why you don't trap the ... euphoric rush you get when you finally find the bug worth the ... see a "Visual Basic Runtime" error message: ... The download of the specified resource has failed. ...
    (microsoft.public.access.formscoding)
  • Re: os/2 warp 3 install - it works, but.
    ... How do I find out what to do with that lot & do I have to download ... Best thing you casn do is to download fixpack 40 from ... The TRAP 003 you have now when trying to access a CD drive is a known ... Trevor dot Hemsley at ntlworld dot com ...
    (comp.os.os2.setup.misc)
  • Re: "Godel got it all wrong"
    ... Herman Jurjus wrote: ... forgive me not repeating it here -- you can find it again at ... download the second part (health warning: ...
    (sci.logic)
  • Re: "Godel got it all wrong"
    ... Herman Jurjus wrote: ... How would one get/prove negation completeness? ... Go to download page at ... Cheers, Peter ...
    (sci.logic)
Loading