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

Re: [lojban] Mathy person interested in concept, unsure where to begin.



On Wed, Sep 24, 2014 at 11:03 AM, 'John E Clifford' via lojban <lojban@googlegroups.com> wrote:
The most clearly missing item in this area is the big one, a program for converting any Lojban sentence to a formula of an appropriate logic formulary.  Or, conversely (or perhaps reciprocally) a set of transformations for converting formulae of logic into grammatical sentences of Lojban.

The second part, converting logical formuae into gramatical sentences of Lojban is actually rather trivial. The Lojban to logic is non-trivial because Lojban allows many shortcuts and non-logical elements that are not always well defined, but you are never required to use those when going in the logic to Lojban direction..

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.