From sentto-44114-3242-962028803-mark=kli.org@returns.onelist.com Mon Jun 26 14:19:22 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 1188 invoked from network); 26 Jun 2000 14:19:21 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 26 Jun 2000 14:19:21 -0000 Received: (qmail 1574 invoked by uid 40001); 26 Jun 2000 14:13:46 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 1571 invoked from network); 26 Jun 2000 14:13:45 -0000 Received: from b05.egroups.com (207.138.41.189) by zash.lupine.org with SMTP; 26 Jun 2000 14:13:45 -0000 X-eGroups-Return: sentto-44114-3242-962028803-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by b05.egroups.com with NNFMP; 26 Jun 2000 14:13:34 -0000 Received: (qmail 14460 invoked from network); 26 Jun 2000 14:13:23 -0000 Received: from unknown (10.1.10.26) by m1.onelist.org with QMQP; 26 Jun 2000 14:13:23 -0000 Received: from unknown (HELO imo-r20.mx.aol.com) (152.163.225.162) by mta1 with SMTP; 26 Jun 2000 14:13:22 -0000 Received: from Pycyn@aol.com by imo-r20.mx.aol.com (mail_out_v27.10.) id a.e6.73cf772 (4534) for ; Mon, 26 Jun 2000 10:13:11 -0400 (EDT) Message-ID: 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: Mon, 26 Jun 2000 10:13:11 EDT Subject: Re: [lojban] RE:Trivalent Logics Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit In a message dated 00-06-25 22:26:50 EDT, xorxes writes: << I tried assigning (-1,1,0) to {nai} but it becomes too different from the binary meaning of {nai}. In any case, {cu'i} = (0,1,-1) is -1. What would that be? A counter-negation? >> What you tried for {nai} was a Post or circular negation, that is +1 to each value. It places an important role in the theory of many-value logics, as the preferred negation when it comes to looking for minimal connective sets. The Sheffer function is always this negation of the min function and it is this negation that gives the analog of double negation (triple negation in the trivalent case) -- you go round the circle one complete turn by doing n negations. Your {nai} always gives double negation, even for zillion-valued logics. Although I can't find anyone who messed with it, your {cu'i} is also a circular negation, just going the other direction. I wonder if it might not play a role in defining the other adequate single connective, the Peirce (amphec) function, NOR. Might that be max(x,y)-1? It is in the 2 case, which doesn't prove much, and looks at a glance to be in 3 and also to be adequate. The rest of the system looks very promising (Hell, very done, except for usage thoughts -- especially for the binary connectives). ------------------------------------------------------------------------ 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/_/962028803/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com