new voi
Revision as of 17:11, 22 June 2014 by Selpahi (talk | contribs) (Created page with "{{jbocre/en}} A new use for the cmavo '''voi''', as proposed by la selpa'i {| class="wikitable" width="800" style="background: FFF8DC" | ==cmavo: voi (NU)== ====Prop...")
This page contains discussions of experimental/scientific/philosophical/logical aspects of Lojban that are non-official and not for everyday usage. You've been warned. |
A new use for the cmavo voi, as proposed by la selpa'i
cmavo: voi (NU)Proposed DefinitionPrenex predicate abstraction. x1 is such that the contained bridi hold true of it. Contains a {ke'a} whose antecedent is the x1 of the voi-abstraction. Allows for many kinds of argument-fronting and mid-sentence prenexes. See Also:
KeywordsExamples
Formulae
MeritsThe proposed voi has a wide range of applications, from fluid prenexes to jai-like argument fronting (but without needing fai) and is helpful when a bridi contains complex scope interactions. It allows one to easily express complex reflexives, and overall increases Lojban's flexibilty at the word order level. As voi is like a mid-sentence prenex, it also enables the use of quasi-prenexes after bridi-tail connectives (see examples above). |