From lojban+bncCIycn8S8DhCerf3dBBoElKAoEQ@googlegroups.com Fri Apr 09 09:32:55 2010 Received: from mail-gx0-f198.google.com ([209.85.217.198]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1O0H8W-0007Do-8d for lojban-list-archive@lojban.org; Fri, 09 Apr 2010 09:32:55 -0700 Received: by gxk22 with SMTP id 22sf293743gxk.4 for ; Fri, 09 Apr 2010 09:32:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:in-reply-to :references:date:received:message-id:subject:from:to :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :x-thread-url:x-message-url:sender:list-subscribe:list-unsubscribe :content-type:content-transfer-encoding; bh=7kWSSSH4lxkugxcsE5bEiJrjyQ0cr9sB1R1IvOKSRD4=; b=L9p8h32T8RGKxig76Cv4MLnerk5ftUWolyzmkKrNb3rsHrW+xuiXZqOqR6SoSaPHMm 3IZOpzYoJbz4f9Ak8WU6UGdiknVPC25zpA2IX7nRI6jXEETRzg4yFLe2xMvbjA31J1DG HtbkcVbmW/njfo6H8dc2qkmW/Pb6o6fq8hEE0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-authentication-results :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:x-thread-url:x-message-url:sender :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; b=o8JCmufioU/RE6mFEVDPKfSHBkhC8CT5JVcl4Rxzy9RfCUj0Q9zze76koGYn+qBjJV 7xuAi4rT2Sg3JQQxXznwI7Jwm6SXE4P+tloRheFdiYy6QaebFt+4CjtUVft9q2zYK6xi HOyYHQsb/YnXXOkriIdcuryOPMdS3B9LlV078= Received: by 10.91.209.13 with SMTP id l13mr77864agq.47.1270830750538; Fri, 09 Apr 2010 09:32:30 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.32.206 with SMTP id e14ls333047bkd.2.p; Fri, 09 Apr 2010 09:32:28 -0700 (PDT) Received: by 10.204.22.69 with SMTP id m5mr26452bkb.19.1270830748017; Fri, 09 Apr 2010 09:32:28 -0700 (PDT) Received: by 10.204.22.69 with SMTP id m5mr26451bkb.19.1270830747950; Fri, 09 Apr 2010 09:32:27 -0700 (PDT) Received: from qw-out-2122.google.com (qw-out-2122.google.com [74.125.92.27]) by gmr-mx.google.com with ESMTP id v26si1595674bkt.7.2010.04.09.09.32.26; Fri, 09 Apr 2010 09:32:26 -0700 (PDT) Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 74.125.92.27 as permitted sender) client-ip=74.125.92.27; Received: by qw-out-2122.google.com with SMTP id 9so1174258qwb.31 for ; Fri, 09 Apr 2010 09:32:26 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.39.197 with HTTP; Fri, 9 Apr 2010 09:32:26 -0700 (PDT) In-Reply-To: <307349.63432.qm@web81302.mail.mud.yahoo.com> References: <307349.63432.qm@web81302.mail.mud.yahoo.com> Date: Fri, 9 Apr 2010 12:32:26 -0400 Received: by 10.229.232.144 with SMTP id ju16mr237740qcb.107.1270830746405; Fri, 09 Apr 2010 09:32:26 -0700 (PDT) Message-ID: Subject: Re: [lojban] Some possibly helpful notes from LoCCan3 From: Michael Turniansky To: lojban@googlegroups.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of mturniansky@gmail.com designates 74.125.92.27 as permitted sender) smtp.mail=mturniansky@gmail.com; dkim=pass (test mode) header.i=@gmail.com X-Original-Sender: mturniansky@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: X-Thread-Url: http://groups.google.com/group/lojban/t/94a19f2fe13bca77 X-Message-Url: http://groups.google.com/group/lojban/msg/89db5ab6b2b58196 Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On Wed, Apr 7, 2010 at 3:04 PM, John E Clifford wrot= e: > > 6. =A0The transformation > of predicate logic to LoCCan seems to involve only a few thing...d, possi= bly most significantly, dropping > RHE markers =93where they are not needed.=94 Okay, I give up -- "RHE" is ___? --gejyspa --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.