From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 850FDBC0A
	for <caml-list@yquem.inria.fr>; Wed,  6 Jun 2007 17:11:38 +0200 (CEST)
Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.181])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l56FBbDq019033
	for <caml-list@inria.fr>; Wed, 6 Jun 2007 17:11:38 +0200
Received: by py-out-1112.google.com with SMTP id u52so284328pyb
        for <caml-list@inria.fr>; Wed, 06 Jun 2007 08:11:37 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=Um0HnpY41VTmnfIoyNoziR4GigUpGFag3jQJilSqx9Egtf5Ee49crnj1XO6/aXqVn28hfX/Dhz5TyCTv4TprcuhxhnI/b61mCc1FNKbmkZ76Z2ChlajhP9SD560pHvjqzGGLjWcMRi1s3nFPo1KVSZHLv8EQEJC4hWJzMCRfgw0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=Mo8wzZeSjxgm9xBdxpy30zp39/k+Rojiv5YSNxRwi8W1dvtcxAAMw/4iBXTjEr6Rzo2ePbT1XDHZ6YpPm2DnqcuekcqRrZQV/IWxidErna1tYkQTgpc5ibtPh9ql6f4acYHyUdszWfhrg6fqmMIpCJ2e7nv7q5zBXB1ubo9cOoI=
Received: by 10.65.250.11 with SMTP id c11mr1084442qbs.1181142695803;
        Wed, 06 Jun 2007 08:11:35 -0700 (PDT)
Received: by 10.64.241.10 with HTTP; Wed, 6 Jun 2007 08:11:35 -0700 (PDT)
Message-ID: <4a708d20706060811g65e3efe5vee2228119656ea6@mail.gmail.com>
Date: Wed, 6 Jun 2007 17:11:35 +0200
From: "Lukasz Stafiniak" <lukstafi@gmail.com>
To: "Oliver Bandel" <oliver@first.in-berlin.de>
Subject: Re: polycontextural logic (Re: [Caml-list] JoCaml Released.)
Cc: caml-list@inria.fr
In-Reply-To: <20070606110225.GA789@first.in-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <20070606090038.GF348@first.in-berlin.de>
	 <46667CE2.8020502@tsc.uc3m.es>
	 <20070606093124.GI348@first.in-berlin.de>
	 <200706061040.58275.jon@ffconsultancy.com>
	 <20070606110225.GA789@first.in-berlin.de>
X-j-chkmail-Score: MSGID : 4666CEA9.003 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 4666CEA9.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; lukasz:01 jocaml:01 bandel:01 in-berlin:01 formalize:01 parallelism:01 jean-yves:01 node:01 model:01 pubs:01 2000.:98 wrote:01 oliver:01 oliver:01 caml-list:01 

On 6/6/07, Oliver Bandel <oliver@first.in-berlin.de> wrote:
>
> I mentioned that polycontextural logic seems to be the only
> thingy that can describe / formalize parallelism and
> self-reference (e.g. liar-paradoxon) and other interesting things
> in a complete, non-contradictional, non-reductional way.
>
I'd let myself mention:
"Locus Solum: From the rules of logic to the logic of rules" by
Jean-Yves Girard, 2000.
http://lambda-the-ultimate.org/node/1994
and:
"Ludics nets, a game model of concurrent interaction" Claudia Faggian,
Francois Maurel
http://www.math.unipd.it/~claudia/pubs/lnets.pdf