From sentto-44114-3206-961777927-mark=kli.org@returns.onelist.com Fri Jun 23 16:28:48 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 2232 invoked from network); 23 Jun 2000 16:28:46 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 23 Jun 2000 16:28:46 -0000 Received: (qmail 23072 invoked by uid 40001); 23 Jun 2000 16:32:11 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 23069 invoked from network); 23 Jun 2000 16:32:11 -0000 Received: from ch.egroups.com (207.138.41.144) by zash.lupine.org with SMTP; 23 Jun 2000 16:32:11 -0000 X-eGroups-Return: sentto-44114-3206-961777927-mark=kli.org@returns.onelist.com Received: from [10.1.10.37] by ch.egroups.com with NNFMP; 23 Jun 2000 16:32:09 -0000 Received: (qmail 14718 invoked from network); 23 Jun 2000 16:32:05 -0000 Received: from unknown (10.1.10.26) by m3.onelist.org with QMQP; 23 Jun 2000 16:32:05 -0000 Received: from unknown (HELO imo-r16) (152.163.225.70) by mta1 with SMTP; 23 Jun 2000 16:32:05 -0000 Received: from Pycyn@aol.com by imo-r16.mx.aol.com (mail_out_v27.10.) id a.34.6edbd1b (4542) for ; Fri, 23 Jun 2000 12:31:49 -0400 (EDT) Message-ID: <34.6edbd1b.2684eaf3@aol.com> To: lojban@egroups.com X-Mailer: AOL 3.0 16-bit for Windows sub 41 From: pycyn@aol.com MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Fri, 23 Jun 2000 12:31:47 EDT Subject: [lojban] RE:Trivalent Logics Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Ooops! For functional completeness the system needs min(x,y), too and that seems harder to get. Once it is gotten, however, it alone generates all of the connectives (binary, unary, more-ary), or rather the Sheffer function, min(x,y)+1, does. I think (disclaimer) that min can be defined with f1=f2 :-1 for -1, 0 otherwise and f3 as 1for 1, 0 otherwise. But my head is not functioning well in -1,0,1 arithmetic at the moment. ------------------------------------------------------------------------ Get a NextCard Visa, in 30 seconds! 1. Fill in the brief application 2. Receive approval decision within 30 seconds 3. Get rates as low as 2.9% Intro or 9.9% Fixed APR http://click.egroups.com/1/5200/4/_/17627/_/961777927/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com