From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 2899FBC6B
	for <caml-list@yquem.inria.fr>; Wed,  6 Jun 2007 11:00:51 +0200 (CEST)
Received: from einhorn.in-berlin.de (einhorn.in-berlin.de [192.109.42.8])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5690oDm013230
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <caml-list@inria.fr>; Wed, 6 Jun 2007 11:00:50 +0200
X-Envelope-From: oliver@first.in-berlin.de
X-Envelope-To: <caml-list@inria.fr>
Received: from first (dslb-088-073-088-113.pools.arcor-ip.net [88.73.88.113])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id l5690nSt023439
	for <caml-list@inria.fr>; Wed, 6 Jun 2007 11:00:50 +0200
Received: by first (Postfix, from userid 501)
	id 6380C3D3D07; Wed,  6 Jun 2007 11:00:38 +0200 (CEST)
Date: Wed, 6 Jun 2007 11:00:38 +0200
From: Oliver Bandel <oliver@first.in-berlin.de>
To: caml-list@inria.fr
Subject: Re: [Caml-list] JoCaml Released.
Message-ID: <20070606090038.GF348@first.in-berlin.de>
References: <20070604085744.GA4654@yquem.inria.fr> <891bd3390706040513r398a8415r4d790c6040ed200@mail.gmail.com> <1180960734.11351.135.camel@rosella.wigram> <20070604135743.GA340@first.in-berlin.de> <873b17zu1o.fsf@mitre.org> <20070606081814.GC348@first.in-berlin.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20070606081814.GC348@first.in-berlin.de>
User-Agent: Mutt/1.5.6i
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
X-Miltered: at discorde with ID 466677C2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; bandel:01 in-berlin:01 jocaml:01 0200,:01 bandel:01 in-berlin:01 wikipedia:01 maila:98 wrote:01 wrote:01 oliver:01 oliver:01 caml-list:01 writes:01 calculus:01 

On Wed, Jun 06, 2007 at 10:18:15AM +0200, Oliver Bandel wrote:
> On Mon, Jun 04, 2007 at 10:13:55AM -0400, Joshua D. Guttman wrote:
> > Oliver Bandel <oliver@first.in-berlin.de> writes:
> > 
> > >   
> > >   
> > >   As far as I know only polycontextural logic can express
> > >   parallel, distributed systems (and selfreference) in a
> > >   complete/total way.  So, when join calculus is
> > >   monocontextural (which it is, if it uses the math we all
> > >   have learned) it will be a subsystem of what can be
> > >   expressed with polycontextural logic.
> > >   
> > 
> > Well, I googled and found the Wikipedia article on Gotthard
> > Guenther, which talked about trans-Aristotelian logic and
> > the law of the excluded middle (shades of Korzybski!  Were
> > they connected?).
> > 
> > But there was no indication what
> > monocontextural/polycontextural meant, or why only the
> > latter expresses distribution *completely*.  
> > 
> > Could you give a brief summary, please?  
> [...]
> 
> I answered to your private maila ddress twice.
> ...well oooh, I didn't saw you also wrote to this list.
> 
> 
> I will collect both mails and send it to the list today.
> 


...is it interests other people...

Ciao,
   Oliver