Jump to: navigation, search

User:Gleki/CLL, next edition

279 bytes removed, 4 months ago
active PRs, problematic or those that must be active
* [[The Dot Side]], [[the Case Against LA]], [[dotside or Not?]]
* rename CMENE to CMEVLA
* 21 BNF. Rule 6 in the introductory remarks on EBNF syntax should clarify that "A & B" means "A | B | A B", but does not permit "B A". Further, explain that "A & B & C & D" permits one or more of A, B, C, and/or D, but ONLY in that order.
* Section 10, ex. 10.5 and 10.6 have a prenex, "naku zo'u", after an ijek. This is not allowed by the grammar. It could be fixed by removing the "zo'u" and using "naku" outside the prenex, although this is only explained in the following Section 11.
*16.9 It says "for no x" (noda) is the same as "it is false for some x" (naku su'oda). I (mi'e zort) interpret "it is false for some x" as "there is an x such that it is false" (su'oda naku), not "it is false that for some x it is true" (naku su'oda), so it should be changed to "it is false that for some x".
Forum:Admin, Forum:CantDelete, Forum:CantEdit, Forum:CantPost, Forum:CantSearch, Forum:CantView, Forum:Mod, Forum:NoSigs, Translators, Users, Bureaucrats, forumadmin, staff, Administrators, translate-proofr, twitter, uploader, Widget editors

Navigation menu