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 m0r9dnK-00007CC; Mon, 21 Nov 94 20:48 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 4406; Mon, 21 Nov 94 20:49:04 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 4401; Mon, 21 Nov 1994 20:48:57 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 7999; Mon, 21 Nov 1994 19:45:41 +0100 Date: Mon, 21 Nov 1994 20:45:57 +0200 Reply-To: veion@XIRON.PC.HELSINKI.FI Sender: Lojban list From: Veijo Vilva Subject: Re: PROPOSAL: Lambda Notation For Dummies (and & Rosta) & Lojban X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 952 Lines: 33 la xorxes. cusku di'e > Date: Fri, 18 Nov 1994 20:48:56 EST > From: Jorge Llambias > Subject: Re: PROPOSAL: Lambda Notation For Dummies (and & Rosta) & Lojban > 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 There are probably other uses for two lambda variables, maybe even for three, once we realize the possibilities offered by their availability. ----- BTW what happens if we stick a 'lambda quantifier' to a normal bridi? i.e. *mi nitcu xa'eda poi tanxe or even **mi nitcu xa'e tanxe > Jorge co'o mi'e veion --------------------------------- .i mi du la'o sy. Veijo Vilva sy. ---------------------------------