Hey all,
Time for the sort-of-annual reminder that Lojban falls far short of its goals. I'll spell out an explicit recipe for achieving those goals.
Suppose that Lojban were logical; that is, suppose that it has a logic [0]. A logic has three components:
* A collection of letters which form a collection of words
* A grammar which indicates whether a sequence of words is a well-formed sentence
* A collection of rewrite rules which each match sequences of words within well-formed sentences and replace them with new sequences of words which are still well-formed
What sort of rewrite rules do you mean? Are you talking about the transformation rules of propositional logic, for example, given "P and Q" conclude "P" (i.e. conjunction elimination)? Those sorts of rules are just the tip of the iceberg for something like Lojban.
If you are talking about the total collection of possible rewrite rules, including trivial ones, that could be posited for Lojban, then I suspect that the collection size would be staggering -- off the top of my head: within clauses, you can reorder terms and the matrix predicate
using FA; depending on context, you can alternate CU and KU and other terminators; again, depending on context, you can sometimes move NA KU (at least thanks to Xorlo rules you can) and sometimes not, and of course, su'o can be rewritten as naku ro naku; there are bucket loads of particles which can interact with either clauses or more locally that have some modal-logic effect. Even if you could sort out all the scope issues, sorting out the semantics would not be easy. Then there is the actual lexicon; in general any predicate might have one or more equivalent decompositions (given x1 is a mother conclude x1 is a female parent) and probably has one or more hypernymic replacements (given x1 is a cat, conclude x1 is a feline, or carnivore, or mammal, or vertebrate, or ...). Finally there is the (non-)compositional nature of tanru, the centerpiece of Lojban's semantics. Thankfully, in practice most tanru are hyponyms of the tertau, so we can be relatively sure a xekri mlatu is a cat, though we can't be fully sure it's a black one, because "je" is not necessarily to be presumed (bizarrely to me).
I don't see how one could go about being totally thorough in specifying rewrite rules, and I am not sure it's even possible. But maybe you have something much more focused in mind -- like a fragment of the full Lojban language that would be easier to manage. That might work. I don't know.
Best,
-Mike