[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban-beginners] conversion to first-order logic?
- To: lojban-beginners@lojban.org
- Subject: [lojban-beginners] conversion to first-order logic?
- From: "Gabriel R" <grecchia@gmail.com>
- Date: Thu, 18 Jan 2007 01:21:30 -0800
- 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=
- Reply-to: lojban-beginners@lojban.org
- Sender: lojban-beginners-bounce@lojban.org
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.