From sentto-44114-21823-1080235145-lojban-in=lojban.org@returns.groups.yahoo.com Thu Mar 25 09:19:45 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 25 Mar 2004 09:19:45 -0800 (PST) Received: from n3.grp.scd.yahoo.com ([66.218.66.86]) by chain.digitalkingdom.org with smtp (Exim 4.30) id 1B6YW1-0002Oo-MW for lojban-in@lojban.org; Thu, 25 Mar 2004 09:19:37 -0800 X-eGroups-Return: sentto-44114-21823-1080235145-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.194] by n3.grp.scd.yahoo.com with NNFMP; 25 Mar 2004 17:19:06 -0000 X-Sender: phma@ixazon.dynip.com X-Apparently-To: lojban@yahoogroups.com Received: (qmail 40847 invoked from network); 25 Mar 2004 17:19:04 -0000 Received: from unknown (66.218.66.166) by m12.grp.scd.yahoo.com with QMQP; 25 Mar 2004 17:19:04 -0000 Received: from unknown (HELO blackcat.ixazon.lan) (208.150.110.21) by mta5.grp.scd.yahoo.com with SMTP; 25 Mar 2004 17:19:04 -0000 Received: by blackcat.ixazon.lan (Postfix, from userid 1001) id 48FB92CD; Thu, 25 Mar 2004 17:19:01 +0000 (UTC) Organization: dis To: lojban@yahoogroups.com User-Agent: KMail/1.5 References: <200403250931.i2P9VLb16669@xahlee.org> <200403250937.05063.phma@webjockey.net> <20040325163110.GC25199@skunk.reutershealth.com> In-Reply-To: <20040325163110.GC25199@skunk.reutershealth.com> Message-Id: <200403251219.00947.phma@webjockey.net> X-eGroups-Remote-IP: 208.150.110.21 From: Pierre Abbat MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Thu, 25 Mar 2004 12:19:00 -0500 Subject: [lojban] Re: fi'u was Re:lanzu usage Content-Type: text/plain; charset=ISO-8859-1 X-archive-position: 7329 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: phma@webjockey.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Thursday 25 March 2004 11:31, jcowan@reutershealth.com wrote: > .i roxy. ro.y.bu rozy. nony. zo'u > li xy. te'a ny. su'i .y.bu te'a ny. du li zy. te'a ny. > .ije li ny. zmadu li re > > This last raises the question of whether it's legitimate to use lerfu in > prenexes to represent bound variables. Currently, the only bound variables > are da, de, di and variants thereof, but this really isn't enough for > stating proofs, and it's too remote from mathematical convention. Do we > get into trouble if we allow uses like the above, rather than the > straight interpretation "For all of the in-mind-things-beginning-with-X"? The prenex needs to be refermatted. It looks like one long number-letter string, and without a member of KOhA it's ungrammatical, at least according to jbofi'e. phma -- li fi'u vu'u fi'u fi'u du li pa ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com 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: http://docs.yahoo.com/info/terms/