Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r9j5W-00007CC; Tue, 22 Nov 94 02:28 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 0255; Tue, 22 Nov 94 02:28:14 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 0253; Tue, 22 Nov 1994 02:28:14 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9611; Tue, 22 Nov 1994 01:25:01 +0100 Date: Mon, 21 Nov 1994 19:30:40 EST Reply-To: jorge@PHYAST.PITT.EDU Sender: Lojban list From: Jorge Llambias Subject: Re: PROPOSAL: Lambda Notation For Dummies (and & Rosta) & Lojban X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 843 Lines: 22 > > Is there any use for properties with two lambda variables? And in any case, > > here we could use subscripts if such a thing really ever comes up. > > How about statements involving symmetry, like > > *do zmadu mi leka xa'eda ctuca xa'ede fo la lojban > *le gapru cu filmau le cnita leka klama xa'eda xa'ede And what would these mean? Do you exceed me in the property of being the teacher or the one taught? Does the up exceed the down in being the gone to or the gone from? I think you want to leave only one of the lambda variables in each of those examples. > There are probably other uses for two lambda variables, maybe even for > three, once we realize the possibilities offered by their availability. I still don't see, if there is more than one, how do we know to what they apply. > co'o mi'e veion co'o mi'e xorxes