Belnapian

Belnapian is a collection of libraries that provide basic types and operations for multiple-valued logics.

The supported truth value types are:

• 3-valued logic values: False, True, Unknown
• 4-valued Belnap's logic values: Neither, False, True, Both
• 15-valued extended Belnap's logic with "unknwon values": Neither, False, True, Both plus 11 "unknown values" (which represent sets of Belnap's truth values).

Belnapian-rs

Belnapian's implementation for Rust: Belnapian-rs.

Belnapian-ts

Belnapian's implementation for TypeScript: Belnapian-ts.