Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of ilmen.pokebip@gmail.com designates 2a00:1450:400c:c0c::233 as permitted sender) client-ip=2a00:1450:400c:c0c::233;
Subject: Re: [lojban] rewrite rules
To: lojban@googlegroups.com
References: <55dadbe1-2951-4e54-957c-4e403076cf44@googlegroups.com>
 <d0608f2b-df74-e42f-a627-7aab53566011@gmail.com>
 <99e01457-b8ce-48f0-b23a-6c0e0a9e7909@googlegroups.com>
From: Ilmen <ilmen.pokebip@gmail.com>
Message-ID: <2bd86d7a-6979-5f57-bdb8-a01b5953cd67@gmail.com>
Date: Sun, 13 Aug 2017 00:07:45 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.2.1
MIME-Version: 1.0
In-Reply-To: <99e01457-b8ce-48f0-b23a-6c0e0a9e7909@googlegroups.com>
Content-Type: text/plain; charset="UTF-8"; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Language: en-US
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -4.1
X-Spam_score_int: -40
X-Spam_bar: ----


On 10/08/2017 08:07, vpbroman@gmail.com wrote:
> When you say "you can express all that Lojban can express with a very=20
> limited set of cmavo", does that mean someone has already done such a=20
> reduction and arrived at a small/minimal set of cmavo that is sufficient?
>

Here's a quick list of what seems to me to be a pretty minimal set of=20
cmavo (maybe I'm forgetting some important ones, so don't take it as=20
definitive):

=E2=80=A2 co'e
=E2=80=A2 [be, bei, be'o] / [poi'i, ke'a, kei]
=E2=80=A2 [[lo/su'o/ro/no], du'u, ka, ce'u, kei, cu] / [ko'ai, xu'u, ku'au,=
 ko'V]
=E2=80=A2 xi, PA

MAYBE: .i, ca'e
EXTRALOGICAL: kau (as a focus marker)

The '/' signifies alternative possibilities.

Connectives and other quantifiers would be expressed with predicates and=20
nested abstractions.

=E2=80=94Ilmen.


--=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.