Re: modern logic classes

From: g.peterhoff_at_[hidden]
Date: 2024-05-04 07:46:54

> 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