pytableaux

KO | EN

gitlite — search

#javascript #react #llm #go #machine-learning #rust #linux #macos #nodejs #windows #awesome #cli #vue #security

(★ 12)

multi-logic proof generator

pytableaux Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# pytableaux

A multi-logic proof and semantic model generator.

## Web UI

For the live site, [see here][site]. For documentation, [see here][doc].

## Implemented Logics

### Bivalent

- [**CPL** - Classical Predicate Logic][CPL]
- [**CFOL** - Classical First Order Logic][CFOL]

### Bivalent Modal

- [**K** - Kripke Normal Modal Logic][K]
- [**D** - Deontic Normal Modal Logic][D]
- [**T** - Reflexive Normal Modal Logic][T]
- [**S4** - S4 Normal Modal Logic][S4]
- [**S5** - S5 Normal Modal Logic][S5]

### Many-valued

- [**FDE** - First Degree Entailment][FDE]
- [**K3** - Strong Kleene Logic][K3]
- [**LP** - Logic of Paradox][LP]
- [**L3** - Łukasiewicz 3-valued Logic][L3]
- [**RM3** - R-mingle 3][RM3]
- [**K3W** - Weak Kleene Logic][K3W]
- [**K3WQ** - Weak Kleene alt-Q Logic][K3WQ]
- [**B3E** - Bochvar 3 External Logic][B3E]
- [**G3** - Gödel 3-valued Logic][G3]
- [**MH** - Paracomplete Hybrid Logic][MH]
- [**NH** - Paraconsistent Hybrid Logic][NH]
- [**GO** - Gappy Object Logic][GO]
- [**P3** - Post 3-valued Logic][P3]

### Many-valued Modal

- [**KFDE** - FDE with K modal][KFDE]
- [**TFDE** - FDE with T modal][TFDE]
- [**S4FDE** - FDE with S4 modal][S4FDE]
- [**S5FDE** - FDE with S5 modal][S5FDE]
- [**KK3** - K3 with K modal][KK3]
- [**TK3** - K3 with T modal][TK3]
- [**S4K3** - K3 with S4 modal][S4K3]
- [**S5K3** - K3 with S5 modal][S5K3]
- [**KLP** - LP with K modal][KLP]
- [**TLP** - LP with T modal][TLP]
- [**S4LP** - LP with S4 modal][S4LP]
- [**S5LP** - LP with S5 modal][S5LP]
- [**KL3** - L3 with K modal][KL3]
- [**TL3** - L3 with T modal][TL3]
- [**S4L3** - L3 with S4 modal][S4L3]
- [**S5L3** - L3 with S5 modal][S5L3]
- [**KRM3** - RM3 with K modal][KRM3]
- [**TRM3** - RM3 with T modal][TRM3]
- [**S4RM3** - RM3 with S4 modal][S4RM3]
- [**S5RM3** - RM3 with S5 modal][S5RM3]
- [**KK3W** - K3W with K modal][KK3W]
- [**TK3W** - K3W with T modal][TK3W]
- [**TK3WQ** - K3WQ with T modal][TK3WQ]
- [**S4B3E** - B3E with S4 modal][S4B3E]
- [**S4K3W** - K3W with S4 modal][S4K3W]
- [**S4K3WQ** - K3WQ with S4 modal][S4K3WQ]
- [**S5K3W** - K3W with S5 modal][S5K3W]
- [**S5K3WQ** - K3WQ with S5 modal][S5K3WQ]
- [**KK3WQ** - K3WQ with K modal][KK3WQ]
- [**KB3E** - B3E with K modal][KB3E]
- [**TB3E** - B3E with T modal][TB3E]
- [**S5B3E** - B3E with S5 modal][S5B3E]
- [**S5G3** - G3 with S5 modal][S5G3]
- [**KG3** - G3 with K modal][KG3]
- [**TG3** - G3 with T modal][TG3]
- [**S4G3** - G3 with S4 modal][S4G3]
- [**S4GO** - GO S4 modal logic][S4GO]

## Docker

The docker image is available on [Docker Hub][dockerhub].

```bash
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][doc]. 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:

```bash
pipenv install
```

To install requirements for the web interface:

```bash
pipenv install --categories="web-packages"
```

## Development

To install dev dependencies:

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

Run tests:

```bash
python -m test
```

### Docs

To install doc building dependencies:

```bash
pipenv install --categoies="doc-packages"
```

Build docs:

```bash
python -m doc clean html
```

### Docker

Build docker image

```bash
docker build -t localhost/pytableaux:dev  .
```

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

## Contributing

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

## Copyright & License

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

[dockerhub]: https://hub.docker.com/r/owings1/pytableaux/
[dockerfile]: Dockerfile

[site]: https://logic.dougowings.net
[doc]: https://logic.dougowings.net/doc
[license]: https://www.gnu.org/licenses/agpl-3.0.en.html
[issues]: https://github.com/owings1/pytableaux/issues
[mailto]: mailto:doug@dougowings.net
[CPL]: https://logic.dougowings.net/doc/logics/cpl.html
[CFOL]: https://logic.dougowings.net/doc/logics/cfol.html
[K]: https://logic.dougowings.net/doc/logics/k.html
[D]: https://logic.dougowings.net/doc/logics/d.html
[T]: https://logic.dougowings.net/doc/logics/t.html
[S4]: https://logic.dougowings.net/doc/logics/s4.html
[S5]: https://logic.dougowings.net/doc/logics/s5.html
[FDE]: https://logic.dougowings.net/doc/logics/fde.html
[K3]: https://logic.dougowings.net/doc/logics/k3.html
[LP]: https://logic.dougowings.net/doc/logics/lp.html
[L3]: https://logic.dougowings.net/doc/logics/l3.html
[RM3]: https://logic.dougowings.net/doc/logics/rm3.html
[K3W]: https://logic.dougowings.net/doc/logics/k3w.html
[K3WQ]: https://logic.dougowings.net/doc/logics/k3wq.html
[B3E]: https://logic.dougowings.net/doc/logics/b3e.html
[G3]: https://logic.dougowings.net/doc/logics/g3.html
[MH]: https://logic.dougowings.net/doc/logics/mh.html
[NH]: https://logic.dougowings.net/doc/logics/nh.html
[GO]: https://logic.dougowings.net/doc/logics/go.html
[P3]: https://logic.dougowings.net/doc/logics/p3.html
[KFDE]: https://logic.dougowings.net/doc/logics/kfde.html
[TFDE]: https://logic.dougowings.net/doc/logics/tfde.html
[S4FDE]: https://logic.dougowings.net/doc/logics/s4fde.html
[S5FDE]: https://logic.dougowings.net/doc/logics/s5fde.html
[KK3]: https://logic.dougowings.net/doc/logics/kk3.html
[TK3]: https://logic.dougowings.net/doc/logics/tk3.html
[S4K3]: https://logic.dougowings.net/doc/logics/s4k3.html
[S5K3]: https://logic.dougowings.net/doc/logics/s5k3.html
[KLP]: https://logic.dougowings.net/doc/logics/klp.html
[TLP]: https://logic.dougowings.net/doc/logics/tlp.html
[S4LP]: https://logic.dougowings.net/doc/logics/s4lp.html
[S5LP]: https://logic.dougowings.net/doc/logics/s5lp.html
[KL3]: https://logic.dougowings.net/doc/logics/kl3.html
[TL3]: https://logic.dougowings.net/doc/logics/tl3.html
[S4L3]: https://logic.dougowings.net/doc/logics/s4l3.html
[S5L3]: https://logic.dougowings.net/doc/logics/s5l3.html
[KRM3]: https://logic.dougowings.net/doc/logics/krm3.html
[TRM3]: https://logic.dougowings.net/doc/logics/trm3.html
[S4RM3]: https://logic.dougowings.net/doc/logics/s4rm3.html
[S5RM3]: https://logic.dougowings.net/doc/logics/s5rm3.html
[KK3W]: https://logic.dougowings.net/doc/logics/kk3w.html
[TK3W]: https://logic.dougowings.net/doc/logics/tk3w.html
[TK3WQ]: https://logic.dougowings.net/doc/logics/tk3wq.html
[S4B3E]: https://logic.dougowings.net/doc/logics/s4b3e.html
[S4K3W]: https://logic.dougowings.net/doc/logics/s4k3w.html
[S4K3WQ]: https://logic.dougowings.net/doc/logics/s4k3wq.html
[S5K3W]: https://logic.dougowings.net/doc/logics/s5k3w.html
[S5K3WQ]: https://logic.dougowings.net/doc/logics/s5k3wq.html
[KK3WQ]: https://logic.dougowings.net/doc/logics/kk3wq.html
[KB3E]: https://logic.dougowings.net/doc/logics/kb3e.html
[TB3E]: https://logic.dougowings.net/doc/logics/tb3e.html
[S5B3E]: https://logic.dougowings.net/doc/logics/s5b3e.html
[S5G3]: https://logic.dougowings.net/doc/logics/s5g3.html
[KG3]: https://logic.dougowings.net/doc/logics/kg3.html
[TG3]: https://logic.dougowings.net/doc/logics/tg3.html
[S4G3]: https://logic.dougowings.net/doc/logics/s4g3.html
[S4GO]: https://logic.dougowings.net/doc/logics/s4go.html

pytableaux

pytableaux Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

pytableaux

pytableaux Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README