Received: from mail-pf0-f187.google.com ([209.85.192.187]:33870) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bGAA7-0000d5-6O for lojban-list-archive@lojban.org; Thu, 23 Jun 2016 12:19:46 -0700 Received: by mail-pf0-f187.google.com with SMTP id g62sf31451956pfb.1 for ; Thu, 23 Jun 2016 12:19:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=y1qfk9M3lpthmHoAfedD+oG8KsaM9YEhtu3O73TY3kM=; b=MONtMYpCU5yRNk4MjI474Y3CICMyu+fXUMMyH8kvnQndAvf7vzOJ5+bNVZUFbLVVmo FACr/ILrGtkepyhuASNYrUowo6ymO1x1um9W8YBvLT0ySiMqXRn99aO6nnW3C4OpjKDz sOnzcAPx4wpj0stmU16b/U/pnRcXpTa3hwhbno5EP7qpAdKI439OO7HbrlyUEYrGt+3b y9EbDajDKf5P0FUKFbXMs2FoQbmZTu8jXFhURPNcNNhOny4db9dtbQvtD8Pydm6J50X0 NIlLfFZ6e5YFQkYuzTcT0G8B9s7d+YSZP/WkF50MQYBJ4adrDbKcU02nRGLMkG9l7Wkb lEcg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=y1qfk9M3lpthmHoAfedD+oG8KsaM9YEhtu3O73TY3kM=; b=y8AK7w9iiYvfMRBKC70g6Xy4tV2hYNyVuwNBo6wxcp1Zs9M2ExzxJ2zaYFK2pG9wM1 mH3C9dhlzxSDlDT2xfjR7e3u6OqqpBqdzWbm8DFsSuX8x+RpoyC5InN37OcM1qS/t96+ 2W3lKDeyWHZCYNto2e9BPO36CKDNkt1btR3IzMqgQNOg4g7Ep+DzzBqcvDERZjf9W62h 9jY5fpDfzbX4f01ViwQsWtJlLKRrK0L1FFR/iaFUSp0f+0otRSJ6UWrr4LJc/fUplu9I dgF3n9cs2bYCkAe0rcM8IzkprsiqYsqwqX35nBsFMchTCKHNjgZvNNhENU6swbgtH4Uj YQIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=y1qfk9M3lpthmHoAfedD+oG8KsaM9YEhtu3O73TY3kM=; b=fgMJuolZ1dOiCywH4GlXHPTqs170WewHK3zMEEHJ36yS7PzxgAHfY/JhpDCTzOVV7g oOEDZJT+d8EUlfCXOfxfBv9duKejLd+tMcVYQ5jNHYLkgk72+d6rAV1o4yLtpHvQGsDB mZNCRe6aaXWuKJND/q2PypFFLBInJudvMxUiS69JwKR9pE+cdf7aKP8SQZLpmoPNYc0j Ngv8WECbB9NkWIf/qnrKMV2VeGiTDRJC8GSX+KyPoef4BdWeQSchtvhBeA9AIsnua30v HZRafCte88KE7e38yV9zEKagOHYg/56ksw9hXQoabBr2w4CD3hC1nyi61FjglHRmZ7SH 5KMQ== Sender: lojban@googlegroups.com X-Gm-Message-State: ALyK8tLElmePrv3T1HGdfrVqXR8VqMwLfSCWilsA+Xu4UfM0Aq3faLZCfOP5T1PL2D+VKw== X-Received: by 10.157.9.102 with SMTP id 93mr16356otp.8.1466709573113; Thu, 23 Jun 2016 12:19:33 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.157.29.185 with SMTP id y54ls5263191otd.46.gmail; Thu, 23 Jun 2016 12:19:32 -0700 (PDT) X-Received: by 10.157.42.81 with SMTP id t75mr15237ota.1.1466709572748; Thu, 23 Jun 2016 12:19:32 -0700 (PDT) Date: Thu, 23 Jun 2016 12:19:31 -0700 (PDT) From: guskant To: lojban Message-Id: <8a106f2c-17f2-412d-aa6b-9a1430c9f245@googlegroups.com> In-Reply-To: <85972cde-32fc-4484-83a6-0cb3080d48fa@googlegroups.com> References: <85972cde-32fc-4484-83a6-0cb3080d48fa@googlegroups.com> Subject: 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 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_978_841322020.1466709571682" X-Original-Sender: gusni.kantu@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: - ------=_Part_978_841322020.1466709571682 Content-Type: multipart/alternative; boundary="----=_Part_979_1318630383.1466709571682" ------=_Part_979_1318630383.1466709571682 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le vendredi 17 juin 2016 13:28:08 UTC, guskant a =C3=A9crit :=20 > > > I am examining more reasonable semantics by adding a new syntactic featur= e=20 > "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}= =20 > and {brodi}. > {gonai broda gi brode gi brodi}: all true or all false of {na broda},=20 > {brode} and {brodi}. > {gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} and=20 > {brodi} is true; the others are false. > > Then in the case of binary, both {gonai} and {gonaibo} have usual XOR=20 > meaning: > > {gonai broda gi brode}=3D{gonaibo broda gi brode}: only one of {broda} an= d=20 > {brode} is true, the other is false. > > Do you find any problem? If not, the feature will be added to the next=20 > stable release of zantufa. > > mi'e la guskant > =20 > 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=20 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 =20 --=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. ------=_Part_979_1318630383.1466709571682 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Le vendredi 17 juin 2016 13:28:08 UTC, guskant a = =C3=A9crit=C2=A0:=C2=A0

I am examining more reasonable sem= antics by adding a new syntactic feature "GA BO" to the recent un= stable version of zantufa:

{go br= oda gi brode gi brodi}: all true or all false of {broda}, {brode} and {brod= i}.
{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} and {brode} is true, the o= ther is false.

Do you find any problem? If not, th= e feature will be added to the next stable release of zantufa.
mi'e la guskant
=C2=A0
<= div>

i za'a no da cinri la'e di'u<= /div>
i ja'e bo mi nonkansa pensi gi'e jdice
i lu gon= aibo broda gi brode gi brodi li'u gau gendra ma'i la zantufa xi 1.1= 6 noi se judri zoizoi
http://guskant.github.io/gerna_cipra/zantuf= a-1.16.html
zoi

mi'e la guskant = jo'au zantufa xi 1.16 mu'o
=C2=A0

--
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.
------=_Part_979_1318630383.1466709571682-- ------=_Part_978_841322020.1466709571682--