Received: from mail-oi0-f55.google.com ([209.85.218.55]:33446) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1ZI5cf-0006xm-Jy for lojban-list-archive@lojban.org; Wed, 22 Jul 2015 18:48:38 -0700 Received: by oify129 with SMTP id y129sf64288717oif.0 for ; Wed, 22 Jul 2015 18:48:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:subject:mime-version:content-type :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe; bh=iwTOyzLM1ThnOYA0xNUyPnTM0MIEFOv7qL501dmm1vU=; b=Z9ODWAAaHbHVs+d/+XMfVZR/DgcUemoSJw/z1kVnfRJ8HlyTCTJZkGKEiZ4yuRW2kL BwnGa995g3Zxo5gesxd6qOi6c/LK2t6JdFnZduwSmHrQK6pi/CrmmdMchIcfmigHUvO0 pPD4yXOAvqHaOHVeGPb/SkPYyLUhW0CCu1qHzj5s8AxXgxcdmkLCs+iR1/67f2nPa/e0 2Dw3HOAvUNyo2pY8d1uhCNu9oDXiGCYURMqn/LLdSl6jy4SjkXhZTnxpau2GcMeG0xLT 5hfjxRF9MVcm7F92IeZ16kiOe7WevGbNQnJRjUYpsvvgcqdNQw+UhGCKqwIlgtflV3tG yV5A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:subject:mime-version:content-type :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe; bh=iwTOyzLM1ThnOYA0xNUyPnTM0MIEFOv7qL501dmm1vU=; b=LBuLm3HvdIpALla7p7GD6OmgupwKjIZvV8YqElbrTnfu7vMegg8oYLfknge/ZiKsGT ddlAkkC2jmA6/dCewQjdJjQZiGpR3smdl8ntLmMo2HfdFuDck5XfLXbrhnjWr8/eMCA0 B1Mdz2GtEBO7NIPmnYyMu20QG+83sgJJCnfR9PiwXIiF1Rq7UREL/OOwxUB4vpOaBa0d gBTNRWF0UgYKRzvRafF37ZVyl5kvqFKItbFh4frf7Hqd9Yr+nWQKVz7PLyzNnhtl1bd9 ZCEGqXlI76BZ0bFcazR/+7GpYSvoOAUCHP/2dfR6I8KfJ+6T/WpxgINv8w/x36/7Ct2v Yumw== X-Received: by 10.140.86.105 with SMTP id o96mr124940qgd.11.1437616107612; Wed, 22 Jul 2015 18:48:27 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.18.232 with SMTP id 95ls771414qgf.84.gmail; Wed, 22 Jul 2015 18:48:27 -0700 (PDT) X-Received: by 10.140.94.166 with SMTP id g35mr129756qge.1.1437616107307; Wed, 22 Jul 2015 18:48:27 -0700 (PDT) Date: Wed, 22 Jul 2015 18:48:26 -0700 (PDT) From: sorpa'as plat To: lojban Message-Id: Subject: [lojban] Logic Terminology in Lojban MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_54_932096514.1437616106765" X-Original-Sender: sorpaas@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_54_932096514.1437616106765 Content-Type: multipart/alternative; boundary="----=_Part_55_1638167420.1437616106766" ------=_Part_55_1638167420.1437616106766 Content-Type: text/plain; charset=UTF-8 Hi all, Recently I'm trying to create some works in Lojban, but I can't find appropriate logic terms like "first-order logic", "existence claims" and "universal claims" (which are used in Chapter 14 of Complete Lojban Language). Is there a word in Lojban that describe those things? Is there a list of all the Lojban terminologies? mu'o mi'e la sorpa'as -- 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_55_1638167420.1437616106766 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi all,

Recently I'm trying to create some work= s in Lojban, but I can't find appropriate logic terms like "first-= order logic", "existence claims" and "universal claims&= quot; (which are used in Chapter 14 of Complete Lojban Language). Is there = a word in Lojban that describe those things? Is there a list of all the Loj= ban terminologies?

mu'o mi'e la sorpa'as

--
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:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_55_1638167420.1437616106766-- ------=_Part_54_932096514.1437616106765--