Re: [boost] Ternary logic programming

Subject: Re: [boost] Ternary logic programming
From: Michael Caisse (mcaisse-lists_at_[hidden])
Date: 2015-07-05 02:22:43

I think your tablet got confused?

On 07/04/2015 10:54 PM, Gottlob Frege wrote:
> Sorry for top posting, I blame my tablet.
>
> I see Empty as "I do not know *yet*" (like future). ie Empty == "Value or
> Error eventually"
> So I imagine "Empty && Error" as "(Value or Error) && Error".  And for &&
> it doesn't matter what the Empty is, the end result of anything || false ==
> false ie Error.

anything || false == anything

anything && false == false

-- 
Michael Caisse
ciere consulting
ciere.com