From nobody@digitalkingdom.org Thu Jan 18 01:21:40 2007 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 18 Jan 2007 01:21:40 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1H7TSl-0001f9-12 for lojban-beginners-real@lojban.org; Thu, 18 Jan 2007 01:21:39 -0800 Received: from ug-out-1314.google.com ([66.249.92.172]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1H7TSf-0001eb-RX for lojban-beginners@lojban.org; Thu, 18 Jan 2007 01:21:38 -0800 Received: by ug-out-1314.google.com with SMTP id m3so123370uge for ; Thu, 18 Jan 2007 01:21:31 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=nFz+tDAJe+n5oScK4MdBXtnStY9FIYzCy+ViiogH2pGfE+7bfmf9JvWeI9wUpiBtf560Y513z0YBv8cXxSDfaeqHxuErbfau7vDff6C5o/cRPGHIiPIPyo1iqs0+rh0wTlTKvamH6akKR6DIJuv0kct6SrS4igSNGaxT028Q7x4= Received: by 10.66.232.9 with SMTP id e9mr985933ugh.1169112090667; Thu, 18 Jan 2007 01:21:30 -0800 (PST) Received: by 10.66.233.14 with HTTP; Thu, 18 Jan 2007 01:21:30 -0800 (PST) Message-ID: <4a7850f70701180121u29f5e00fw6a806b22a9b7b537@mail.gmail.com> Date: Thu, 18 Jan 2007 01:21:30 -0800 From: "Gabriel R" To: lojban-beginners@lojban.org Subject: [lojban-beginners] conversion to first-order logic? MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_4019_674262.1169112090412" X-Spam-Score: -1.8 X-Spam-Score-Int: -17 X-Spam-Bar: - X-archive-position: 3900 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: grecchia@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners ------=_Part_4019_674262.1169112090412 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline Are there any programs available that convert Lojban sentences into a more standard first-order logic representation, or vice versa? I have the parser and I can see that it makes. I'm definitely considering learning more about the language, but I'd like to have a better sense of how directly it translates into FOL first. ------=_Part_4019_674262.1169112090412 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Are there any programs available that convert Lojban sentences into a more standard first-order logic representation, or vice versa?  I have the parser and I can see that it makes.  I'm definitely considering learning more about the language, but I'd like to have a better sense of how directly it translates into FOL first.
------=_Part_4019_674262.1169112090412--