From nobody@digitalkingdom.org Thu Jan 18 05:03:26 2007 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 18 Jan 2007 05:03:27 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1H7WvA-0000lg-6B for lojban-beginners-real@lojban.org; Thu, 18 Jan 2007 05:03:22 -0800 Received: from nf-out-0910.google.com ([64.233.182.187]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1H7WuY-0000Zp-OG for lojban-beginners@lojban.org; Thu, 18 Jan 2007 05:03:02 -0800 Received: by nf-out-0910.google.com with SMTP id c31so309826nfb for ; Thu, 18 Jan 2007 05:02:17 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=MU4dJbnVp4U+Rn1SKrrxaYt2jvPv55DNPmWg47PiOry/YGW/zqdU8+yv/XOUT/sKIhHYgTfT4XQIgX5tDD5/v8FamlULgsOLZf8C8RoaHSqunNv7ROSGI3TLdg+5mpUgI94mHFKRk22YzgZjekBgNxkSpUNAKJP9KUn6y+NSKFI= Received: by 10.49.8.16 with SMTP id l16mr773071nfi.1169125305159; Thu, 18 Jan 2007 05:01:45 -0800 (PST) Received: by 10.49.9.12 with HTTP; Thu, 18 Jan 2007 05:01:45 -0800 (PST) Message-ID: <925d17560701180501u597d6df8r365a421160481493@mail.gmail.com> Date: Thu, 18 Jan 2007 10:01:45 -0300 From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: conversion to first-order logic? In-Reply-To: <4a7850f70701180121u29f5e00fw6a806b22a9b7b537@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <4a7850f70701180121u29f5e00fw6a806b22a9b7b537@mail.gmail.com> X-Spam-Score: -2.5 X-Spam-Score-Int: -24 X-Spam-Bar: -- X-archive-position: 3902 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners On 1/18/07, Gabriel R wrote: > Are there any programs available that convert Lojban sentences into a more > standard first-order logic representation, or vice versa? I don't think so. Converting from FOL to Lojban should be (relatively) easy, but Lojban to FOL is probably impossible, as there are many features of Lojban that don't have any equivalent in FOL. Perhaps a very restricted subset of Lojban could be. mu'o mi'e xorxes