Logical Language Group email thread
This looks like a fantastic effort to me, although I’m not an expert on either formal logic or Lojban. I’m glad to see someone attempting to make good on some of Lojban’s promises. I personally have enjoyed the time spent learning it, although I think it’s a little overengineered in some areas and bloated in others. I feel like there is probably a simpler logical language hiding in there.