Received: from mail-wi0-f189.google.com ([209.85.212.189]:41027)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRD7vbCBBRoEjY9lyg@googlegroups.com>)
	id 1T1lq9-0002Vm-SS; Wed, 15 Aug 2012 15:13:31 -0700
Received: by wibhr14 with SMTP id hr14sf27291wib.16
        for <multiple recipients>; Wed, 15 Aug 2012 15:13:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=U6kzmgWqFjOSYEwpL03cxPPQ5tGMNTzL6vt+jTTX9p0=;
        b=y4txfzc0V37FCkbPu/JGGeGKj8jDvCZBOIfHAesqVhL6fF/k3O6y/9N3Ib0qAn5loF
         DYVCKv+3Lcqcx3CX3+tf+wVJMZJQQZYceXqcB3esWfRAQdu5C4niDGJyZKnUEMSGNqIj
         3QF05JvyH8rEHzOGMsDt42VTxd5067Me0uFIQ=
Received: by 10.216.174.205 with SMTP id x55mr471727wel.20.1345068795603;
        Wed, 15 Aug 2012 15:13:15 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.14.224.130 with SMTP id x2ls579370eep.7.gmail; Wed, 15 Aug
 2012 15:13:14 -0700 (PDT)
Received: by 10.14.209.196 with SMTP id s44mr17127706eeo.1.1345068794837;
        Wed, 15 Aug 2012 15:13:14 -0700 (PDT)
Received: by 10.14.209.196 with SMTP id s44mr17127705eeo.1.1345068794827;
        Wed, 15 Aug 2012 15:13:14 -0700 (PDT)
Received: from mail-ey0-f175.google.com (mail-ey0-f175.google.com [209.85.215.175])
        by gmr-mx.google.com with ESMTPS id d5si3523759eep.0.2012.08.15.15.13.14
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 15 Aug 2012 15:13:14 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.175 as permitted sender) client-ip=209.85.215.175;
Received: by eaad12 with SMTP id d12so622938eaa.20
        for <lojban@googlegroups.com>; Wed, 15 Aug 2012 15:13:14 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.14.213.137 with SMTP id a9mr21953934eep.38.1345068794692; Wed,
 15 Aug 2012 15:13:14 -0700 (PDT)
Received: by 10.14.95.78 with HTTP; Wed, 15 Aug 2012 15:13:14 -0700 (PDT)
In-Reply-To: <502B0199.7090609@gmail.com>
References: <90a7e54c-42fe-4ee0-9693-8155db9a7646@googlegroups.com>
	<f5113f81-1797-4d4b-8c39-2d96ed42cfa2@googlegroups.com>
	<4FFDC7C8.2010707@gmail.com>
	<237c4ac5-64f3-40fa-81d3-8a97c76dcc5d@googlegroups.com>
	<1342109844.79789.YahooMailNeo@web184407.mail.bf1.yahoo.com>
	<4FFF180C.8060000@gmail.com>
	<CALm==BVbQRVkmenyZ9txY6c53EGLReF9MLnm_Jt4DFd7aPC1iw@mail.gmail.com>
	<4FFF534B.9010509@gmail.com>
	<CALm==BX7bWWEyKxgDqFFe-2ZO5fYUE=FJABxEMx7BEtmDAdEAg@mail.gmail.com>
	<5000314E.10906@gmail.com>
	<CALm==BXxX20_dKARF1FT8yEonA_wiDiy-HZQDUL+uAqveP1NQw@mail.gmail.com>
	<502A734B.1060906@gmail.com>
	<CALm==BW8NUJa_zayYw+6GHeUQTnOVptPUMUdUr1URks0uoDONA@mail.gmail.com>
	<502B0199.7090609@gmail.com>
Date: Wed, 15 Aug 2012 19:13:14 -0300
Message-ID: <CAO7tK2foTYQijz8gbbrmYEqwgg_+yWnmYBYQmyMvis3-wRafxw@mail.gmail.com>
Subject: Re: [lojban] &Lang
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.175 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Tue, Aug 14, 2012 at 10:55 PM, And Rosta <and.rosta@gmail.com> wrote:
>
> [...] that's
> the direction where I think the solution lies: iteratively uniting two
> predicates into one, with a method for indicating which argument-places
> merge into a single argument-place, ideally without having
> lexicosyntactically *explicit* variables filling argument-places.
>
> E.g. F(a,b) and G(c,d) merge into a compound predicate H(a,b=c,d).
>
> (My own unpublished solutiontakes this approach, with an inflectional
> machinery for encoding how two argument lists (e.g. <a, b> & <c, d>) merge
> into one  (e.g. <a, b=c, d>).)

I guess that means you need Bell number B(n) of inflections per
connective for predicates that together have n arguments. This number
grows pretty fast with n, http://en.wikipedia.org/wiki/Bell_numbers
but I guess you must have some way of compositionally creating the
inflections so they are manageable,

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.