Re: The BOOLEAN data type - What is really Boolean and what is not?

From: Bruce Rennie <bruce.rennie_at_shell.com.au>
Date: 26 Apr 2003 07:09:49 -0700
Message-ID: <8d821729.0304260609.2c6eb52c_at_posting.google.com>


71062.1056_at_compuserve.com (--CELKO--) wrote in message news:<c0d87ec0.0304251527.4c0b558e_at_posting.google.com>...
> >> You cannot define operators AND and OR on a 3-element set in such a
> way that all axioms of Boolean algebra are satisfied. <<
>
> I think I am missing your point.
>
> There several consistent multi-valued logic system. I am in the
> middle of moving my office to a new building this weekend, but I have
> a list of axioms for a dozen or so n-valued logics. Some include the
> traditional Boolean axioms and some do not.

Such as it may be. But if they don't follow the axioms for Boolean algebra, then they are not Boolean algebras. This is a discussion about Booleans.

If you wish to post your various n-valued algebras, please do so - it will then give opportunity for them to be vetted by the community at large. Received on Sat Apr 26 2003 - 16:09:49 CEST

Original text of this message