News for hackers. Stuff that matters.
Re:Three-Valued Logic by dvt on Friday December 15, 2017 @04:51AM (#15930723)
It's noteworthy that SQL's 3VL follows Kleene's K3 logic (or, equivalently, Łukasiewicz' Ł3 logic) and not Priest's P3 logic. That is, in K3 and Ł3, an unknown (or indeterminate/null) value resolves to neither true nor false; whereas in K3, an unknown (or indeterminate/null) value resolves to both true and false.

There are some interesting ramifications of these properties, including a lack of tautologies in K3 and Ł3.

Re:Three-Valued Logic by lifepillar on Friday December 15, 2017 @08:54AM (#15931770)
K3 has no tautologies, but Ł3 does have tautologies, e.g. P->P.
Re:Three-Valued Logic by dvt on Friday December 15, 2017 @01:44PM (#15934017)
True. I should've mentioned that I was barring implication (as the context was SQL).
Re:Three-Valued Logic by akx on Friday December 15, 2017 @06:44AM (#15931147)
*whereas in P3?
Re:Three-Valued Logic by dvt on Friday December 15, 2017 @03:40PM (#15934890)
Oops, my mistake :x