Version française
Home     About     Download     Resources     Contact us    
Browse thread
JoCaml Released.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lukasz Stafiniak <lukstafi@g...>
Subject: Re: polycontextural logic (Re: [Caml-list] JoCaml Released.)
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