Skip to content

Latest commit

 

History

History
20 lines (14 loc) · 701 Bytes

README.md

File metadata and controls

20 lines (14 loc) · 701 Bytes

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.