A library of multivalued logic systems in OCaml.
Module-specific documentation pages:
- Mvl.Bnp - Belnap four-valued logic, strong/truth
preserving implication operators, consensus, gullibility.
- Mvl.Tern - Łukasiewicz-Kleene ternary
logic, strict/lax disjunction and implication.
Build and Installation
Clone the repository from GitHub. MVL uses dune as its build system. Run
dune build to
dune install to install.
Source code is available on GitHub.
MVL is free software under the GNU GPL v3. You are
free to copy, modify, and distribute MVL under the terms of this license.