belnapian
| Crates.io | belnapian |
| lib.rs | belnapian |
| version | 0.1.0 |
| source | src |
| created_at | 2024-11-03 21:59:22.34961 |
| updated_at | 2024-11-03 21:59:22.34961 |
| description | Belnap's 4-valued logic basic building blocks in Rust |
| homepage | |
| repository | https://github.com/Coder-Spirit/belnapian |
| max_upload_size | |
| id | 1434284 |
| size | 89,123 |
Andrés Correa Casablanca (castarco)
documentation
README
Belnapian
Belnapian is a library that provides basic types and operations for Belnap's 4-valued logic.
This library does not intend to be a full implementation of all the related formalisms and algorithms for Belnap's logic, but rather a small and simple building block.
In addition to basic operations for Belnap's 4-valued logic, this library also provides:
- A simple implementation of 3-valued logic operations (with the
Unknownvalue) - An extension of Belnap's 4-valued logic to a 15-valued logic (where we have 11 "unknown" values).