Received: from mail-wm0-f62.google.com ([74.125.82.62]:33374) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bGB8e-0004Z3-Gr for lojban-list-archive@lojban.org; Thu, 23 Jun 2016 13:22:17 -0700 Received: by mail-wm0-f62.google.com with SMTP id a66sf13075159wme.0 for ; Thu, 23 Jun 2016 13:22:12 -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=t918CMGZEqJz3tjykENBcTOTBK95/VKSc3NoEwcWiYU=; b=B5xYXuO4Xbu6G1nw8+JeB3Bnqe8U8u+pKTOsoOYPno2cCk3VpcE6wk7SFiaa2qBcOm yFQchHI67oDRQKyy2Dh+dTTayq9Pd4MccDe7kZ8Esx9ULNkdT5Q8Ju7oGRdyA0Y6D2HI 9O0tA174mIfjUPEfCs7boDVmCJahyGVWHYDqDaSK/f6nyBQIE1V9E121GGBW9XssfjRr cFk5ARXYpkVKS6oWb1ULoRHecWLepArbSRMN3d4Jj2KbXREj1ehpNBMoOjxyO6jneYqM LQuHWFV6z22ZEonRU7kOADF4oHZa8F+eMAH7Gd7leddmFQLwdxZ67aFmkSBqG5jKXKd5 cQEw== 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=t918CMGZEqJz3tjykENBcTOTBK95/VKSc3NoEwcWiYU=; b=cCdG2DAOgA8X+TL+LeetqrxF2VT49Zk9+FfXFrOcWi5OzV9eM5W9FoAf9+P3HXEgsL MdEOG1LSb3sRi0XiMMX2T6LEoCCRSoiwhB7KzwS+yO8PhlbPicsSVlrO2njCHykidzwF wgq3pRa4/9gMxfLmRp/TxB3CjTKYCuqr6e6whSSg8iyQYMVbaUrUzdSg6OqMru0a4xEh fxoERU2OVzZCTK0j5wRbJnUwX0wmEUW+CFcbIRKhVpN72D5aL5+SQcO4vP5Uu6qYd6M4 +/BnL2tWcGMSgB8K8eMJYvISVv4EVEFtdOFwG2xHh4B0Kr7eIlN6HGq6xYOYfO6xhudk FZ2w== 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=t918CMGZEqJz3tjykENBcTOTBK95/VKSc3NoEwcWiYU=; b=fHftb9tngnr6f7M+YW7xoNKrxG1QnSBU8x2POK5DMhSL3eP7aVzM7xGkn+yEcvlWBa FiAmrq/hbqh3/yLQTENUaAvjIPhPKAH4oc4LXXsNvYOE1RvV2qBwaNboMWzDGmVn/0iA 0OOzBLEXltJhfhq0mdTACkmTVGkHGUepWbF+Lp8ZDxP+EElFJSenq8skQyITShjtcSrk kW0smmHvjcImZbt86KMk9kgNR3Jy2FphyU8tYjZvGgx2FgnLAS6NSuQj3IOTgfGrO8NZ /VPHY1TOUDqiCxwsKekCgpjID5REp83gBRe4Ufe3EoD3cPKYD9xYwRto9YhWQMMDJ5DN YJJA== Sender: lojban@googlegroups.com X-Gm-Message-State: ALyK8tIaM3UDrbT8wPvvCjWAADM7/Iwz6+TU7ZT88tRhPcNqwuQVBypq/RCSqJjgE6TxeA== X-Received: by 10.28.27.85 with SMTP id b82mr111514wmb.19.1466713325944; Thu, 23 Jun 2016 13:22:05 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.28.69.91 with SMTP id s88ls676712wma.51.gmail; Thu, 23 Jun 2016 13:22:05 -0700 (PDT) X-Received: by 10.28.203.135 with SMTP id b129mr3151555wmg.5.1466713325523; Thu, 23 Jun 2016 13:22:05 -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.22.05 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 Jun 2016 13:22:05 -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:22:05 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.25.206.210 with SMTP id e201mr123975lfg.138.1466713324368; Thu, 23 Jun 2016 13:22:04 -0700 (PDT) Received: by 10.25.80.65 with HTTP; Thu, 23 Jun 2016 13:22:04 -0700 (PDT) Received: by 10.25.80.65 with HTTP; Thu, 23 Jun 2016 13:22:04 -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:22:04 +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=001a11405ffaafbb070535f7ce7d 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: - --001a11405ffaafbb070535f7ce7d Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2016/06/23 22:20 ciuak.prog@gmail.com: > > > 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} 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 > >> > > > > > > > > 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 .u'u ko selxanri lo du'u zo nu na zvati > > .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. --001a11405ffaafbb070535f7ce7d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2016/06/23 22:20 ciuak.prog@gmail.c= om:
>
>
> 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 synt= actic feature "GA BO" to the recent unstable version of zantufa:<= br> > >> 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}, {brod= e} and {brodi} is true; the others are false.
> >>
> >> Then in the case of binary, both {gonai} and {gonaibo} have u= sual XOR meaning:
> >>
> >> {gonai broda gi brode}=3D{gonaibo broda gi brode}: only one o= f {broda} 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 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 .u'u ko selxanri lo du'u zo nu na zvati

>
> .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&#= 39;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.
--001a11405ffaafbb070535f7ce7d--