****
Hoops! C converts <abc> into <acb>, not
<bac>,
so {se} is fairly complex too. C is Lojban's
(never used) {setese}.
so {se} is fairly complex too. C is Lojban's
(never used) {setese}.
****
Yes, you're right; I was thinking of the normalized
predicate-logic rather than syntactic-string representation of
Lojban semantics ;) [although I failed to say so -- oops]
E.g.,
mi tavla do
is equivalent to the predicate logic formula
(tavla) (mi) (do)
(using combinatory-logic curried notation) which is equivalent
to
(C tavla) (do) (mi)
using the C combinator.
Using combinators on the syntactic-string representation of
Lojban is a bit screwy because of the arbitrariness of the placement of the
predicate in the argument list according to Lojban syntax.
-- Ben
To unsubscribe, send mail to lojban-unsubscribe@onelist.com
| Yahoo! Groups Sponsor | |
|
|
Yahoo! Groups Links
- To visit your group on the web, go to:
http://groups.yahoo.com/group/lojban/
- To unsubscribe from this group, send an email to:
lojban-unsubscribe@yahoogroups.com
- Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.