Re: Lukasiewiczian logic (was Indeterminate math)
On Mon, Oct 14, 2002 at 06:27:48PM -0700, David Whipp wrote: > > it looks like "Lukasiewiczian NULL" is just the nifty NULL > > that SQL has, and the nifty ways that it affects logical > > and aggregate operations. Actually, something I wouldn't mind > > seeing in other languages -- I can't say if perl is one of those, > > but if it can be provided by expansion, that would be neato. > > Looks like the X value of the 4 (or 9) state logics that ASIC > designers use. I suspect that it would be possible to implement this with properties and overloading. http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2001-11/msg00124.html -- Paul Johnson - [EMAIL PROTECTED] http://www.pjcj.net
RE: Lukasiewiczian logic (was Indeterminate math)
> it looks like "Lukasiewiczian NULL" is just the nifty NULL > that SQL has, and the nifty ways that it affects logical > and aggregate operations. Actually, something I wouldn't mind > seeing in other languages -- I can't say if perl is one of those, > but if it can be provided by expansion, that would be neato. Looks like the X value of the 4 (or 9) state logics that ASIC designers use. I use Perl to do ASIC testbenches and stuff: so I'll probably be constructing something similar (and hopefully I'll have some nice bitwise and/or operators available: I use bitwise & and | frequently; though I can accept that the majority of Perl users don't). Maybe I'll implement Verilog as a Parrot language. Dave.
Lukasiewiczian logic (was Indeterminate math)
From: Andrew Rodland [EMAIL PROTECTED] > After much fighting with google to find the right spelling, Sorry bout that. Your searching was probably as difficult as my attempts to pronounce it. > it looks like "Lukasiewiczian NULL" is just the nifty NULL > that SQL has, and the nifty ways that it affects logical > and aggregate operations. Actually, something I wouldn't mind > seeing in other languages -- I can't say if perl is one of those, > but if it can be provided by expansion, that would be neato. > > Miko, did I get the right thing out of that? Yup. It would be cool to be able to overload &&, ||, and ! to implement Lukasiewiczian logic within a given scope. I'm no expert, but I wrote a short essay explaining Lukasiewiczian logic. See http://ars.userfriendly.org/cartoons/read.cgi?id=20020904&tid=389032 Trivia: Jan Lukasiewicz is the Polish in "Reverse Polish Notation". Trivia 2: my mom, Carole O'Sullivan nee Lucas, says Lukasiewicz is probably my second cousin fifteen times removed, or something like that. It's probably my best credentials in the math world. -Miko mail2web - Check your email from the web at http://mail2web.com/ .
