Date: Wed, 15 Jul 2015 22:22:03 -0700 (PDT)
From: "Spheniscine (la zipcpi)" <spheniscine@gmail.com>
To: lojban@googlegroups.com
Message-Id: <ecb6ae40-06f5-4fac-8a16-60dcba17063a@googlegroups.com>
In-Reply-To: <ba47bcab-f962-47c6-95c8-82f0c6036567@googlegroups.com>
References: <a9475bfd-ac16-40ce-bb60-7b2a057a681d@googlegroups.com>
 <d73e2a72-cb9e-495d-9dc5-3e22878a41c2@googlegroups.com>
 <CAO7tK2ft8hi8B9tHu093ROcye-TjmO1o-PLghC4626tT-MpEmA@mail.gmail.com>
 <ba47bcab-f962-47c6-95c8-82f0c6036567@googlegroups.com>
Subject: Re: [lojban] Re: {tu'e...tu'u} in NU
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_517_1345008330.1437024123868"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_517_1345008330.1437024123868
Content-Type: multipart/alternative; 
	boundary="----=_Part_518_2000629248.1437024123868"

------=_Part_518_2000629248.1437024123868
Content-Type: text/plain; charset=UTF-8

n-ary gi is interesting - it may perhaps be a step toward another possible 
solution to the "extended logical connectives" problem I noted 
here: https://groups.google.com/forum/#!topic/lojban/Jz6bw4zKn7k

It does however break my definition of {ifle} as {ge ganai me'au bo'a* gi 
me'au bo'e giga me'au bo'a gi me'au bo'i}, but I prefer {ganai me'au bo'a 
gi me'au bo'e .ije ga me'au bo'a gi me'au bo'i} over it anyway, and with 
your n-ary gi, {ge ganai me'au bo'a gi me'au bo'e *gi'i *giga me'au bo'a gi 
me'au bo'i} works...

(* Yes, I took bo'V for x1 ~ x5. Additionally, {ka'ei} is a special variant 
of {ka} that preassigns {bo'V} to its ce'u-variables.)

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

------=_Part_518_2000629248.1437024123868
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">n-ary gi is interesting - it may perhaps be a step toward =
another possible solution to the &quot;extended logical connectives&quot; p=
roblem I noted here:=C2=A0https://groups.google.com/forum/#!topic/lojban/Jz=
6bw4zKn7k<div><br></div><div>It does however break my definition of {ifle} =
as {ge ganai me&#39;au bo&#39;a* gi me&#39;au bo&#39;e giga me&#39;au bo=
9;a gi me&#39;au bo&#39;i}, but I prefer {ganai me&#39;au bo&#39;a gi me=
9;au bo&#39;e .ije ga me&#39;au bo&#39;a gi me&#39;au bo&#39;i} over it any=
way, and with your n-ary gi, {ge ganai me&#39;au bo&#39;a gi me&#39;au bo&#=
39;e <b>gi&#39;i=C2=A0</b>giga me&#39;au bo&#39;a gi me&#39;au bo&#39;i} wo=
rks...</div><div><br></div><div>(* Yes, I took bo&#39;V for x1 ~ x5. Additi=
onally, {ka&#39;ei} is a special variant of {ka} that preassigns {bo&#39;V}=
 to its ce&#39;u-variables.)</div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_518_2000629248.1437024123868--
------=_Part_517_1345008330.1437024123868--