mvlogics

In math, specifically the study of logic, one occassionally finds it useful to consider logical systems other than Boolean logic, that is, true (verum) and false (falsum). There may be logics in which a member represents a statement of unknown truth, for instance. This library aims to implement the most common of these logics to facilitate mathematical research.

Setup

Besides pip, this package is also available on anaconda via the conda-forge channel.

You can install using either conda or pip, or directly from roughly fortnightly GitHub releases; no extra setup is needed.

See the installation guide for more.

Version

This is mvlogics v0.9.3.

This library is currently in the beta stage. It has not been thoroughly tested and logic implementations may contain errors.

Remarks

This library is currently quite unoptimized, but the creator does not see much need or room for performance improvement.

Below are some resources related to multi-valued logics:

• Wikipedia page
• Open Logic Project introduction
• Book by Grzegorz Malinowski
• Academic paper