Information
A library of multivalued logic systems in OCaml.
Documentation
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
compile, and dune install to install.
Development
Source code is available on GitHub.
License
MVL is free software under the GNU GPL v3. You are
free to copy, modify, and distribute MVL under the terms of this license.
Copyright © 2022 Matthew Kukla
<matt.kukla [at] yandex.com>.