[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lojban-beginners] Re: conversion to first-order logic?

To: lojban-beginners@lojban.org
Subject: [lojban-beginners] Re: conversion to first-order logic?
From: "Jorge Llambías" <jjllambias@gmail.com>
Date: Thu, 18 Jan 2007 10:01:45 -0300
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=
In-reply-to: <4a7850f70701180121u29f5e00fw6a806b22a9b7b537@mail.gmail.com>
References: <4a7850f70701180121u29f5e00fw6a806b22a9b7b537@mail.gmail.com>
Reply-to: lojban-beginners@lojban.org
Sender: lojban-beginners-bounce@lojban.org

On 1/18/07, Gabriel R <grecchia@gmail.com> 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

References:
- [lojban-beginners] conversion to first-order logic?
  - From: "Gabriel R" <grecchia@gmail.com>

Prev by Date: [lojban-beginners] Re: conversion to first-order logic?
Next by Date: [lojban-beginners] FW: quantified number sumti, fences, and meshes
Previous by thread: [lojban-beginners] conversion to first-order logic?
Next by thread: [lojban-beginners] Re: conversion to first-order logic?
Index(es):
- Date
- Thread