Re: Godel's Incompleteness and Nonmonotonic Logic

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

  • Next message: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic" 
    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
  • Next message: Stephan Lehmke: "Re: Godel's Incompleteness and Nonmonotonic Logic"

    Relevant Pages

    • Re: Godels Incompleteness and Nonmonotonic Logic
      ... > into the trap of inconsistency/incompleteness. ... Could you download this paper somewhere? ... Herman Jurjus ...
      (sci.logic)
    • 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)