* Saturday, 2014-09-27 at 12:25 -0700 - TR NS <transfire@gmail.com>: > On Saturday, September 27, 2014 12:31:55 PM UTC-4, Martin Bays wrote: > Very cool! > > Could you explain some of the notation, e.g. > > non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1)) > EX x1. viska(f0(x1),mi) Yeah, there's quite a bit to the notation. But it outputs a lojban version too, so you should be able to work out things mean by comparing the logic with the lojban. To explain what's in your example: FA is for all EX is there exists /\ is and f0 is a function (glorked from context). Martin
Attachment:
signature.asc
Description: Digital signature