Logics

Latest version: v1.10.3

Safety actively analyzes 638763 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 6

1.8.1

Fixed
- `get_counterexample` function fixed for many-valued systems (was returning incorrect
results). Takes two extra optional parameters now, see docs.

1.8.0

Changed
- `get_counterexample` function changed for `get_counterexamples`. Can now return many
counterexamples instead of just one (controlled by an extra parameter).

1.7.4

Added
- Classical logic (CL scheme) metainferential tableaux instance

1.7.3

Added
- `get_counterexample` method for tableaux systems (normal, indexed and metainferential)

1.7.2

Fixed
- Changed the implementation of the tableaux solver, setting `allow_repetition_of_nodes` to
`False` should now work correctly (not avioding repetitions on branching)

1.7.1

Added
- WK-schema instances for metainferential tableaux

Page 2 of 6

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.