A proposal for the C++ standard : Bool_set, multi-valued logic
Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann · HAL (Le Centre pour la Communication Scientifique Directe) · 2006
We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators. It also has many other potential applications.