Metadata-Version: 2.4
Name: mvlogics
Version: 0.9.6
Summary: Multi-valued logics.
Keywords: mathematical,object-oriented,logic,propositional calculi
Author: Jonathan Dung
Author-email: Jonathan Dung <jonathandung@yahoo.com>
License-Expression: MIT
License-File: AUTHORS.md
License-File: LICENSE
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Programming Language :: Python :: 3.15
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Operating System :: OS Independent
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: Framework :: Sphinx
Classifier: Topic :: Education
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Natural Language :: English
Classifier: Typing :: Typed
Requires-Dist: sphinx>=9.1.0 ; extra == 'docs'
Requires-Dist: furo>=2025.12.19 ; extra == 'docs'
Requires-Dist: sphinx-book-theme>=1.2.0 ; extra == 'docs'
Requires-Dist: sphinx-copybutton>=0.5.2 ; extra == 'docs'
Requires-Dist: sphinx-notfound-page>=1.1.0 ; extra == 'docs'
Requires-Dist: sphinx-autoapi>=3.8.0 ; extra == 'docs'
Requires-Dist: sphinx-lint>=1.0.2 ; extra == 'docs'
Requires-Dist: myst-parser>=5.1.0 ; extra == 'docs'
Maintainer: Jonathan Dung
Maintainer-email: Jonathan Dung <jonathandung@yahoo.com>
Requires-Python: >=3.12
Project-URL: Homepage, https://github.com/jonathandung/mvlogics
Project-URL: Documentation, https://mvlogics.readthedocs.io/en/stable/api/index.html
Project-URL: Repository, https://github.com/jonathandung/mvlogics.git
Project-URL: Issues, https://github.com/jonathandung/mvlogics/issues
Project-URL: Download, https://pypi.org/project/mvlogics/#files
Project-URL: Release Notes, https://github.com/jonathandung/mvlogics/releases
Provides-Extra: docs
Description-Content-Type: text/markdown

# 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](https://pypi.org/project/mvlogics/), this package is also [available on
anaconda](https://anaconda.org/channels/conda-forge/packages/mvlogics/overview) 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](https://mvlogics.readthedocs.io/en/stable/installation.html) for more.

## Version

This is mvlogics v0.9.6.

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

- [Wikipedia page](https://en.wikipedia.org/wiki/Many-valued_logic)
- [Open Logic Project introduction](https://builds.openlogicproject.org/content/many-valued-logic/many-valued-logic.pdf)
- [Book by Grzegorz Malinowski](https://academic.oup.com/book/54994)
- [Academic paper](https://www.researchgate.net/publication/259645593_A_Treatise_on_Many-Valued_Logics)
