27.10.2013 4:08, Timon Gehr пишет:
On 10/26/2013 05:42 PM, Andrei Alexandrescu wrote:
While messing with std.allocator I explored the type below. I ended up
not using it, but was surprised that implementing it was quite
nontrivial. Should we add it to stdlib?
Theory: http://en.wikipedia.org/wiki/Three-state_logic
"The term tri-state[1] should not be confused with ternary logic
(3-value logic)."
So this thread is about a three-valued logic with same truth tables as
in Kleene's and Priest's logics.
See:
* http://en.wikipedia.org/wiki/Many-valued_logic
* http://en.wikipedia.org/wiki/Three-valued_logic
--
Денис В. Шеломовский
Denis V. Shelomovskij