Re: Godel's Incompleteness and Nonmonotonic Logic

From: Student (jagasian_at_mailinator.com)
Date: 08/25/04

  • Next message: Bart Demoen: "Re: Global predicates in SWI and Sicstus Prolog" 
    Date: 24 Aug 2004 16:51:36 -0700

    > > 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?

    Apparently Girard's web page is down:
    http://iml.univ-mrs.fr/~girard/Articles.html

    I have uploaded a copy to:
    http://www.geocities.com/ggxjtwmzohxc/

  • Next message: Bart Demoen: "Re: Global predicates in SWI and Sicstus Prolog"