Received: from mail-lf0-f57.google.com ([209.85.215.57]:33326) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bGB8B-0004WG-A3 for lojban-list-archive@lojban.org; Thu, 23 Jun 2016 13:21:51 -0700 Received: by mail-lf0-f57.google.com with SMTP id a4sf31258444lfa.0 for ; Thu, 23 Jun 2016 13:21:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender: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-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=Kr8ajP7Lz53b4VZLYPxvkojlSgCOS2rC5cIKCW1265s=; b=nZq7l8EDIJ7lnxDDDAj4fSevy29DGnUPF3HxQLcKQ4MNxKWK+pBSc/iMDVp0e6kUKe GPtaVxQWRQa2Y7sS51YG+dL8Cn/Qtzs0/GyiOzLkHnvuS0FoMfQ3B8Xz6Dps2Gisgi+b EpWHaV+znz40jGqLhkQGlfe8is8ra5q9pIb0879vuxRqTZ8qgsMg+czIhN3lbiHd18i4 ZVacpI9ypaLXFQlnZ48ZmrfIjdWbfe1AZPHj5/YdMHV9RBXiGlRJBbIZaDX9+BZV8IuC 9P/ZsOpBUNRQwlMYJ0yK0rkPDWgSXB9f51D5wIYaDW6wdwGvTsECkeJrGLWsmMAVxcG+ d8BQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=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-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=Kr8ajP7Lz53b4VZLYPxvkojlSgCOS2rC5cIKCW1265s=; b=IYBYLyXfXdGa15/op3zj5syhzW1PXgBi5sROfsZuLHNk/TYwAEaWgnhlWZ0QzaXz11 Vr4MEkRObKADAoSAI06yYdf3MKjN6yZY7vfIChKTfpZUefSetCEj3hSLPCqT4dlIsBKL fBfyRBo6NIraUPjKSV6HwbBdIoepVwL2rZ7r8vKi+Oil56eoHEAF7LwRlFa90R+zVtlp 8tDfQ1SMpLL41LboVjpiLIyyGdw5g3GQnhMBW3+MPG+mQ2vglktinfjO27RMCqVGhDBD MSDMXEOAEWIZF27ciQzFkb7esTeDmxm2hV56DKyY0t2QFypFIMp5AQag1J7KiPIz8qai vLaQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state: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-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=Kr8ajP7Lz53b4VZLYPxvkojlSgCOS2rC5cIKCW1265s=; b=hloz/Gd3CAB0oDLAcky8a9tgvBCdww6CsLR5ggJu1FqLQoxXJqtxjg+bQXLu2FJs2v iwP6WbRhUv+iMeVyj2XtimFgRBcXxpsl8LrD0qTtB/kwxrishmqyD6oOdDUvyCVx5pZM L7kuFVhViZOjQvPyLeqTfZZJ+8QEZ9OREb1Dc1V0dJQSvlFVm83hs3to5nwqoyJp50wD yCZ0lWqXgIUz/YkR/uKKy4LMcYhvQG4VTHURXuu2WkTFCPfHP6GxBo3vvRtOfmNobcMZ 3D9Gjqfl2h08t8KBSRTOWs/V1TmzObvMk+YEY1zkPJmYfeDtadCZUh+HmRh8zHMZBgYY FsNw== Sender: lojban@googlegroups.com X-Gm-Message-State: ALyK8tI11zWK9v6/DiNw7UqEswJZbXGsadmBBIqcTN8c3ftzCfa3UBwUrJuFXMgTG5ypdg== X-Received: by 10.46.1.150 with SMTP id f22mr3504lji.7.1466713294716; Thu, 23 Jun 2016 13:21:34 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.46.33.144 with SMTP id h16ls27042lji.23.gmail; Thu, 23 Jun 2016 13:21:34 -0700 (PDT) X-Received: by 10.25.163.17 with SMTP id m17mr108248lfe.1.1466713294140; Thu, 23 Jun 2016 13:21:34 -0700 (PDT) Received: from mail-lf0-x231.google.com (mail-lf0-x231.google.com. [2a00:1450:4010:c07::231]) by gmr-mx.google.com with ESMTPS id q124si358378wme.3.2016.06.23.13.21.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 Jun 2016 13:21:34 -0700 (PDT) Received-SPF: pass (google.com: domain of ciuak.prog@gmail.com designates 2a00:1450:4010:c07::231 as permitted sender) client-ip=2a00:1450:4010:c07::231; Received: by mail-lf0-x231.google.com with SMTP id h129so103361165lfh.1 for ; Thu, 23 Jun 2016 13:21:34 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.46.1.228 with SMTP id f97mr147926lji.26.1466713293478; Thu, 23 Jun 2016 13:21:33 -0700 (PDT) Received: by 10.25.80.65 with HTTP; Thu, 23 Jun 2016 13:21:33 -0700 (PDT) Received: by 10.25.80.65 with HTTP; Thu, 23 Jun 2016 13:21:33 -0700 (PDT) In-Reply-To: References: <85972cde-32fc-4484-83a6-0cb3080d48fa@googlegroups.com> <8a106f2c-17f2-412d-aa6b-9a1430c9f245@googlegroups.com> Date: Thu, 23 Jun 2016 20:21:33 +0000 Message-ID: Subject: Re: gonaibo broda gi brode gi brodi to'i galfi lo cmene no'u zoizoi Re: [lojban] Re: {tu'e...tu'u} in NU zoi toi From: Bruno Panasiewicz To: mriste Content-Type: multipart/alternative; boundary=001a1142b334d861410535f7cc27 X-Original-Sender: ciuak.prog@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of ciuak.prog@gmail.com designates 2a00:1450:4010:c07::231 as permitted sender) smtp.mailfrom=ciuak.prog@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.8 (-) X-Spam_score: -1.8 X-Spam_score_int: -17 X-Spam_bar: - --001a1142b334d861410535f7cc27 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2016/06/23 21:19 "guskant" : > > > > Le vendredi 17 juin 2016 13:28:08 UTC, guskant a =C3=A9crit : >> >> >> I am examining more reasonable semantics by adding a new syntactic feature "GA BO" to the recent unstable version of zantufa: >> http://guskant.github.io/gerna_cipra/zantufa-1.9999.html >> >> {go broda gi brode gi brodi}: all true or all false of {broda}, {brode} and {brodi}. >> {gonai broda gi brode gi brodi}: all true or all false of {na broda}, {brode} and {brodi}. >> {gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} and {brodi} is true; the others are false. >> >> Then in the case of binary, both {gonai} and {gonaibo} have usual XOR meaning: >> >> {gonai broda gi brode}=3D{gonaibo broda gi brode}: only one of {broda} a= nd {brode} is true, the other is false. >> >> Do you find any problem? If not, the feature will be added to the next stable release of zantufa. >> >> mi'e la guskant >> > > > > i za'a no da cinri la'e di'u > i ja'e bo mi nonkansa pensi gi'e jdice > i lu gonaibo broda gi brode gi brodi li'u gau gendra ma'i la zantufa xi 1.16 noi se judri zoizoi > http://guskant.github.io/gerna_cipra/zantufa-1.16.html > zoi > > mi'e la guskant jo'au zantufa xi 1.16 mu'o .i'e doi finti be lo stuzi be lo gerna nu cipra .i lo sidbo cu ie xamgu .i ku'i da selspofu .i sa'e ke po'o lo purci selpensi sei malglico se'u terjonma'o cu prali .i mo lo balvi selpensi co'e sei za'o malglico .i da'i nitcu fa lo nu finti lo zifma'o poi jmina lo si'o tai javni kei lo terjonma'o stura porsi .i .e'a .e'e .e'i .e'o .e'u do pensi la'e di'u ~ mi'e .uak. jo'au .zan. xi pa pi so so so so --=20 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 e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at https://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --001a1142b334d861410535f7cc27 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2016/06/23 21:19 "guskant" <gusni.kantu@gmail.com>:
>
>
>
> Le vendredi 17 juin 2016 13:28:08 UTC, guskant a =C3=A9crit=C2=A0:=C2= =A0
>>
>>
>> I am examining more reasonable semantics by adding a new syntactic= feature "GA BO" to the recent unstable version of zantufa:
>> http://guskant.github.io/gerna_cipra/zantufa-1.9999.html
>>
>> {go broda gi brode gi brodi}: all true or all false of {broda}, {b= rode} and {brodi}.
>> {gonai broda gi brode gi brodi}: all true or all false of {na brod= a}, {brode} and {brodi}.
>> {gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} an= d {brodi} is true; the others are false.
>>
>> Then in the case of binary, both {gonai} and {gonaibo} have usual = XOR meaning:
>>
>> {gonai broda gi brode}=3D{gonaibo broda gi brode}: only one of {br= oda} and {brode} is true, the other is false.
>>
>> Do you find any problem? If not, the feature will be added to the = next stable release of zantufa.
>>
>> mi'e la guskant
>> =C2=A0
>
>
>
> i za'a no da cinri la'e di'u
> i ja'e bo mi nonkansa pensi gi'e jdice
> i lu gonaibo broda gi brode gi brodi li'u gau gendra ma'i la z= antufa xi 1.16 noi se judri zoizoi
> htt= p://guskant.github.io/gerna_cipra/zantufa-1.16.html
> zoi
>
> mi'e la guskant jo'au zantufa xi 1.16 mu'o

.i'e doi finti be lo stuzi be lo gerna nu cipra

.i lo sidbo cu ie xamgu .i ku'i da selspofu .i sa'e = ke po'o lo purci selpensi sei malglico se'u terjonma'o cu prali= .i mo lo balvi selpensi co'e sei za'o malglico
.i da'i nitcu fa lo nu finti lo zifma'o poi jmina lo si'o tai j= avni kei lo terjonma'o stura porsi

.i .e'a .e'e .e'i .e'o .e'u do pensi la&= #39;e di'u

~ mi'e .uak. jo'au .zan. xi pa pi so so so so

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