pytableaux

A multi-logic proof and semantic model generator.

Web UI

For the live site, see here. For documentation, see here.

Implemented Logics

Bivalent

• CPL - Classical Predicate Logic
• CFOL - Classical First Order Logic

Bivalent Modal

• K - Kripke Normal Modal Logic
• D - Deontic Normal Modal Logic
• T - Reflexive Normal Modal Logic
• S4 - S4 Normal Modal Logic
• S5 - S5 Normal Modal Logic

Many-valued

• FDE - First Degree Entailment
• K₃ - Strong Kleene Logic
• LP - Logic of Paradox
• L₃ - Łukasiewicz 3-valued Logic
• RM₃ - R-mingle 3
• K³_W - Weak Kleene Logic
• K³_WQ - Weak Kleene alt-Q Logic
• B³_E - Bochvar 3 External Logic
• G₃ - Gödel 3-valued Logic
• MH - Paracomplete Hybrid Logic
• NH - Paraconsistent Hybrid Logic
• GO - Gappy Object Logic
• P₃ - Post 3-valued Logic

Many-valued Modal

• KFDE - FDE with K modal
• TFDE - FDE with T modal
• S4FDE - FDE with S4 modal
• S5FDE - FDE with S5 modal
• KK₃ - K₃ with K modal
• TK₃ - K₃ with T modal
• S4K₃ - K₃ with S4 modal
• S5K₃ - K₃ with S5 modal
• KLP - LP with K modal
• TLP - LP with T modal
• S4LP - LP with S4 modal
• S5LP - LP with S5 modal
• KL₃ - L₃ with K modal
• TL₃ - L₃ with T modal
• S4L₃ - L₃ with S4 modal
• S5L₃ - L₃ with S5 modal
• KRM₃ - RM₃ with K modal
• TRM₃ - RM₃ with T modal
• S4RM₃ - RM₃ with S4 modal
• S5RM₃ - RM₃ with S5 modal
• KK³_W - K³_W with K modal
• TK³_W - K³_W with T modal
• TK³_WQ - K³_WQ with T modal
• S4B³_E - B³_E with S4 modal
• S4K³_W - K³_W with S4 modal
• S4K³_WQ - K³_WQ with S4 modal
• S5K³_W - K³_W with S5 modal
• S5K³_WQ - K³_WQ with S5 modal
• KK³_WQ - K³_WQ with K modal
• KB³_E - B³_E with K modal
• TB³_E - B³_E with T modal
• S5B³_E - B³_E with S5 modal
• S5G₃ - G₃ with S5 modal
• KG₃ - G₃ with K modal
• TG₃ - G₃ with T modal
• S4G₃ - G₃ with S4 modal
• S4GO - GO S4 modal logic

Docker

The docker image is available on Docker Hub.

docker run -p 8080:8080 owings1/pytableaux:latest

The web UI will then be available on port 8080, e.g. http://localhost:8080.

Documentation

For the live documentation, see here. If you deployed the docker container, the documentation is available at /doc, e.g. http://localhost:8080/doc.

Dependencies

Python 3.11 or later is required.

To install basic requirements:

pipenv install

To install requirements for the web interface:

pipenv install --categories="web-packages"

Development

To install dev dependencies:

pipenv install --categoies="dev-packages web-packages"

Run tests:

python -m test

Docs

To install doc building dependencies:

pipenv install --categoies="doc-packages"

Build docs:

python -m doc clean html

Docker

Build docker image

docker build -t localhost/pytableaux:dev  .

For other targets (doc, test, etc.), seel the Dockerfile

Contributing

You can file any issues on github, or contact me directly via email.

Copyright & License

Copyright (C) 2014-2023, Doug Owings. Released under the GNU Affero General Public License v3.0 or later.