Re: modern logic classes

From: Steve Downey (sdowney_at_[hidden])
Date: 2024-05-17 14:55:39

That three valued logic isn't actually Boolean bothers me the most.

On Sat, May 4, 2024 at 3:47 AM g.peterhoff--- via Boost <
boost_at_[hidden]> wrote:

> > Thanks for sharing.
> > Could we have some motivating use cases for these types and functions?
>
> This is supposed to be a general library, but in my opinion with a better
> implementation for three-valued logic. tribool can be replaced by bool3.
> What bothers me about tribool is:
> * strange implementation of indeterminate
> * no support for weak negation
>
> https://de.wikipedia.org/wiki/Dreiwertige_Logik#Starke_und_schwache_Negation
>   https://arxiv.org/pdf/cs/0511041.pdf
> * no support for
>   - std::numeric_limits
>   - std::to_(w)string
>   - std::from/to_chars or boost::from/to_chars
>   - std::formatter for std::format
>
> I would be grateful for any further ideas/criticism.
>
> regards
> Gero
>
> _______________________________________________
> Unsubscribe & other changes:
> http://lists.boost.org/mailman/listinfo.cgi/boost
>