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