Multi-valued logics.
Project description
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.4.
This library is currently in the beta stage. It has not been thoroughly tested and logic implementations may contain errors.
Remarks
Regarding .markdownlint.json, even though there is no longer a pre-commit or workflow step requiring it, it contains the most basic ignores suitable for this project's files and should be respected. It will be auto-detected by relevant IDE extensions and allows running the linter locally.
This library is currently quite unoptimized, but the creator does not see much need or room for performance improvement.
Resources
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file mvlogics-0.9.4.tar.gz.
File metadata
- Download URL: mvlogics-0.9.4.tar.gz
- Upload date:
- Size: 15.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.11.15 {"installer":{"name":"uv","version":"0.11.15","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3b30673bd21f37274c7684fd520001a0362da09a0f51abd7f6ea79e2e59424cd
|
|
| MD5 |
6e844ccbbebc01cf085ba40f3cea16fe
|
|
| BLAKE2b-256 |
f7aa26e66c8515ade93ce7ed3bfead028cb6a6750401cae04e85742affc5c2fd
|
File details
Details for the file mvlogics-0.9.4-py3-none-any.whl.
File metadata
- Download URL: mvlogics-0.9.4-py3-none-any.whl
- Upload date:
- Size: 14.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.11.15 {"installer":{"name":"uv","version":"0.11.15","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a132fb97e000b978574b265f03c8cdab91d734b9dade8df8e8d35b28f5ae8c0b
|
|
| MD5 |
880dc50e1f0ce4a78e1fc0d42a30514f
|
|
| BLAKE2b-256 |
7af07d969809dad77fe5d83144743c2eb104d7f51f7712e21ae0f6bba2374478
|
