#logic #ternary #kleene

trilean

Kleene's three-valued logic (boolean + unknown)

4 releases (stable)

Uses old Rust 2015

1.1.0 Jun 18, 2021
1.0.1 May 23, 2018
0.1.0 May 22, 2018

#840 in Math

Download history 4091/week @ 2023-12-16 2191/week @ 2023-12-23 3965/week @ 2023-12-30 6011/week @ 2024-01-06 7581/week @ 2024-01-13 6231/week @ 2024-01-20 6072/week @ 2024-01-27 7800/week @ 2024-02-03 6178/week @ 2024-02-10 5570/week @ 2024-02-17 5995/week @ 2024-02-24 6034/week @ 2024-03-02 5701/week @ 2024-03-09 5671/week @ 2024-03-16 6156/week @ 2024-03-23 4552/week @ 2024-03-30

22,962 downloads per month
Used in 97 crates (3 directly)

MIT/Apache

8KB
107 lines

Three-valued logics

ptal on Travis CI

This library provides the strong Kleene's three-valued logic which contains the boolean values true and false and an additional unknown variant. The semantics of unknown usually means that the current value is neither true or false yet, but might evolve to one or the other later. In particular, we have false && unknown equals to false, although the second value is unknown, we can evaluate the full expression.

Truth tables are available in the documentation.

This library compiles on stable Rust.

License

Licensed under either of

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual licensed as above, without any additional terms or conditions.

References

M. Fitting, “Kleene’s three valued logics and their children,” Fundamenta informaticae, vol. 20, no. 1, 2, 3, pp. 113–131, 1994.

No runtime deps