belnapian 0.1.0

Belnap's 4-valued logic basic building blocks in Rust
Documentation
  • Coverage
  • 11.48%
    7 out of 61 items documented0 out of 25 items with examples
  • Size
  • Source code size: 88.8 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.29 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 6s Average build duration of successful builds.
  • all releases: 11s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Coder-Spirit/belnapian
    1 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • castarco

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 Unknown value)
  • An extension of Belnap's 4-valued logic to a 15-valued logic (where we have 11 "unknown" values).